fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r216-smll-155381386300025
Last Updated
Apr 15, 2019

About the Execution of 2018-Gold for CloudOpsManagement-PT-00640by00320

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15007.190 3570865.00 3620445.00 8426.70 ? 320 640 320 320 640 320 ? 320 320 320 320 320 ? 320 640 normal

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.r216-smll-155381386300025.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-3957
Executing tool win2018
Input is CloudOpsManagement-PT-00640by00320, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r216-smll-155381386300025
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 5.1K Mar 26 06:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 26 06:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 06:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 06:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Mar 26 06:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Mar 26 06:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 06:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 26 06:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 25 21:32 NewModel
-rw-r--r-- 1 mcc users 4.5K Mar 26 06:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 26 06:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 125 Mar 26 06:21 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 363 Mar 26 06:21 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.5K Mar 26 06:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 06:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 26 06:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 26 06:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 25 21:32 equiv_col

-rw-r--r-- 1 mcc users 13 Mar 25 21:32 instance
-rw-r--r-- 1 mcc users 6 Mar 25 21:32 iscolored
-rw-r--r-- 1 mcc users 17K Mar 25 21:32 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 CloudOpsManagement-PT-00640by00320-UpperBounds-00
FORMULA_NAME CloudOpsManagement-PT-00640by00320-UpperBounds-01
FORMULA_NAME CloudOpsManagement-PT-00640by00320-UpperBounds-02
FORMULA_NAME CloudOpsManagement-PT-00640by00320-UpperBounds-03
FORMULA_NAME CloudOpsManagement-PT-00640by00320-UpperBounds-04
FORMULA_NAME CloudOpsManagement-PT-00640by00320-UpperBounds-05
FORMULA_NAME CloudOpsManagement-PT-00640by00320-UpperBounds-06
FORMULA_NAME CloudOpsManagement-PT-00640by00320-UpperBounds-07
FORMULA_NAME CloudOpsManagement-PT-00640by00320-UpperBounds-08
FORMULA_NAME CloudOpsManagement-PT-00640by00320-UpperBounds-09
FORMULA_NAME CloudOpsManagement-PT-00640by00320-UpperBounds-10
FORMULA_NAME CloudOpsManagement-PT-00640by00320-UpperBounds-11
FORMULA_NAME CloudOpsManagement-PT-00640by00320-UpperBounds-12
FORMULA_NAME CloudOpsManagement-PT-00640by00320-UpperBounds-13
FORMULA_NAME CloudOpsManagement-PT-00640by00320-UpperBounds-14
FORMULA_NAME CloudOpsManagement-PT-00640by00320-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1553875946281

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudOpsManagement-PT-00640by00320 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating CloudOpsManagement-PT-00640by00320 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ CloudOpsManagement-PT-00640by00320 @ 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: 56/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 864
lola: finding significant places
lola: 27 places, 29 transitions, 16 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 23 transition conflict sets
lola: TASK
lola: reading formula from CloudOpsManagement-PT-00640by00320-UpperBounds.task
lola: LP says that atomic proposition is always false: (Wsr3NotDeployed <= 0)
lola: LP says that atomic proposition is always false: (Wsr3NotDeployed <= 0)
lola: MAX(Bounder1) : MAX(ScStopped) : MAX(Wsr3NotDeployed) : MAX(WSRuntime2) : MAX(Wsr1Deployed) : MAX(SwContainer) : MAX(Wsr3Started) : MAX(Bounder1) : MAX(Wsr2Deployed) : MAX(WSRuntime1) : MAX(ScUnavailable) : MAX(ScWorking) : MAX(WsRuntime3) : MAX(Bounder1) : MAX(Wsr3Deployed) : MAX(Wsr3NotDeployed)
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(Wsr3NotDeployed)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Wsr3NotDeployed)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 0 markings, 0 edges
lola: ========================================

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-2 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Wsr3NotDeployed)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Wsr3NotDeployed)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 0 markings, 0 edges
lola: ========================================

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-15 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Bounder1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Bounder1)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 960
lola: 3466279 markings, 5589771 edges, 693256 markings/sec, 0 secs
lola: 6815203 markings, 11108432 edges, 669785 markings/sec, 5 secs
lola: 9825271 markings, 16182837 edges, 602014 markings/sec, 10 secs
lola: 12591835 markings, 20857102 edges, 553313 markings/sec, 15 secs
lola: 15199741 markings, 25565204 edges, 521581 markings/sec, 20 secs
lola: 17650687 markings, 30133015 edges, 490189 markings/sec, 25 secs
lola: 19980404 markings, 34361341 edges, 465943 markings/sec, 30 secs
lola: 22393383 markings, 38745198 edges, 482596 markings/sec, 35 secs
lola: 23884971 markings, 43408284 edges, 298318 markings/sec, 40 secs
lola: 24718742 markings, 47396640 edges, 166754 markings/sec, 45 secs
lola: 25521108 markings, 51239897 edges, 160473 markings/sec, 50 secs
lola: 26324614 markings, 55087002 edges, 160701 markings/sec, 55 secs
lola: 26941739 markings, 59012264 edges, 123425 markings/sec, 60 secs
lola: 28493392 markings, 62967621 edges, 310331 markings/sec, 65 secs
lola: 30599368 markings, 66842718 edges, 421195 markings/sec, 70 secs
lola: 32573082 markings, 70523018 edges, 394743 markings/sec, 75 secs
lola: 34662923 markings, 74422796 edges, 417968 markings/sec, 80 secs
lola: 35845627 markings, 78681588 edges, 236541 markings/sec, 85 secs
lola: 36596451 markings, 82369441 edges, 150165 markings/sec, 90 secs
lola: 37323176 markings, 85928682 edges, 145345 markings/sec, 95 secs
lola: 38036117 markings, 89505178 edges, 142588 markings/sec, 100 secs
lola: 38698270 markings, 93032611 edges, 132431 markings/sec, 105 secs
lola: 40444427 markings, 96810502 edges, 349231 markings/sec, 110 secs
lola: 42488640 markings, 100585344 edges, 408843 markings/sec, 115 secs
lola: 44453712 markings, 104247475 edges, 393014 markings/sec, 120 secs
lola: 46549970 markings, 108157298 edges, 419252 markings/sec, 125 secs
lola: 47611316 markings, 112339268 edges, 212269 markings/sec, 130 secs
lola: 48354433 markings, 115992067 edges, 148623 markings/sec, 135 secs
lola: 49076796 markings, 119532716 edges, 144473 markings/sec, 140 secs
lola: 49784742 markings, 123089243 edges, 141589 markings/sec, 145 secs
lola: 50442363 markings, 126587492 edges, 131524 markings/sec, 150 secs
lola: 52217860 markings, 130309470 edges, 355099 markings/sec, 155 secs
lola: 54223817 markings, 134015775 edges, 401191 markings/sec, 160 secs
lola: 56157783 markings, 137624862 edges, 386793 markings/sec, 165 secs
lola: 58223108 markings, 141473357 edges, 413065 markings/sec, 170 secs
lola: 59272861 markings, 145511436 edges, 209951 markings/sec, 175 secs
lola: 59990279 markings, 149031021 edges, 143484 markings/sec, 180 secs
lola: 60680491 markings, 152423200 edges, 138042 markings/sec, 185 secs
lola: 61369332 markings, 155843202 edges, 137768 markings/sec, 190 secs
lola: 61997803 markings, 159202135 edges, 125694 markings/sec, 195 secs
lola: 63365115 markings, 162756221 edges, 273462 markings/sec, 200 secs
lola: 65369772 markings, 166437661 edges, 400931 markings/sec, 205 secs
lola: 67269936 markings, 169980042 edges, 380033 markings/sec, 210 secs
lola: 69221131 markings, 173617715 edges, 390239 markings/sec, 215 secs
lola: 70765963 markings, 177704095 edges, 308966 markings/sec, 220 secs
lola: 71500382 markings, 181291997 edges, 146884 markings/sec, 225 secs
lola: 72186170 markings, 184665955 edges, 137158 markings/sec, 230 secs
lola: 72877440 markings, 188042335 edges, 138254 markings/sec, 235 secs
lola: 73522673 markings, 191414292 edges, 129047 markings/sec, 240 secs
lola: 74319079 markings, 194782273 edges, 159281 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 640 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 640
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown 640 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 640
lola: memory consumption: 3483628 KB
lola: time consumption: 255 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(WSRuntime2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(WSRuntime2)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 320
lola: 2676507 markings, 5313792 edges, 535301 markings/sec, 0 secs
lola: 5459580 markings, 10856821 edges, 556615 markings/sec, 5 secs
lola: 8061077 markings, 16042232 edges, 520299 markings/sec, 10 secs
lola: 10839827 markings, 21582421 edges, 555750 markings/sec, 15 secs
lola: 13429519 markings, 26746887 edges, 517938 markings/sec, 20 secs
lola: 16046073 markings, 31965708 edges, 523311 markings/sec, 25 secs
lola: 18855407 markings, 37570175 edges, 561867 markings/sec, 30 secs
lola: 21424670 markings, 42696600 edges, 513853 markings/sec, 35 secs
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 21951873 markings, 43748053 edges
lola: ========================================

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-3 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Wsr1Deployed)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Wsr1Deployed)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 219275 markings, 433562 edges
lola: ========================================

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-4 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SwContainer)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SwContainer)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 206081 markings, 308959 edges

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-5 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 6 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
========================================
lola: ...considering subproblem: MAX(Wsr3Started)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Wsr3Started)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 320
lola: 3794630 markings, 5741110 edges, 758926 markings/sec, 0 secs
lola: 7762585 markings, 11720502 edges, 793591 markings/sec, 5 secs
lola: 11729729 markings, 17694092 edges, 793429 markings/sec, 10 secs
lola: 15731357 markings, 23717109 edges, 800326 markings/sec, 15 secs
lola: 19687464 markings, 29670099 edges, 791221 markings/sec, 20 secs
lola: 23676053 markings, 35670486 edges, 797718 markings/sec, 25 secs
lola: 27705779 markings, 41731853 edges, 805945 markings/sec, 30 secs
lola: 31737297 markings, 47795006 edges, 806304 markings/sec, 35 secs
lola: 35797354 markings, 53900616 edges, 812011 markings/sec, 40 secs
lola: 39912106 markings, 60087698 edges, 822950 markings/sec, 45 secs
lola: 43907517 markings, 66094993 edges, 799082 markings/sec, 50 secs
lola: 47987472 markings, 72228949 edges, 815991 markings/sec, 55 secs
lola: 52073963 markings, 78372237 edges, 817298 markings/sec, 60 secs
lola: 56042716 markings, 84338319 edges, 793751 markings/sec, 65 secs
lola: 60159504 markings, 90526618 edges, 823358 markings/sec, 70 secs
lola: 64355757 markings, 96834047 edges, 839251 markings/sec, 75 secs
lola: 68636864 markings, 103268792 edges, 856221 markings/sec, 80 secs
lola: 73046330 markings, 109896051 edges, 881893 markings/sec, 85 secs
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 75268882 markings, 113236194 edges

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-6 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Bounder1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Bounder1)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 960
lola: 3373293 markings, 5438621 edges, 674659 markings/sec, 0 secs
lola: 6696476 markings, 10912799 edges, 664637 markings/sec, 5 secs
lola: 9699533 markings, 15970296 edges, 600611 markings/sec, 10 secs
lola: 12429690 markings, 20584035 edges, 546031 markings/sec, 15 secs
lola: 15005387 markings, 25200823 edges, 515139 markings/sec, 20 secs
lola: 17434910 markings, 29737805 edges, 485905 markings/sec, 25 secs
lola: 19628442 markings, 33721393 edges, 438706 markings/sec, 30 secs
lola: 21982074 markings, 37997702 edges, 470726 markings/sec, 35 secs
lola: 23728406 markings, 42658359 edges, 349266 markings/sec, 40 secs
lola: 24560533 markings, 46641778 edges, 166425 markings/sec, 45 secs
lola: 25355708 markings, 50447838 edges, 159035 markings/sec, 50 secs
lola: 26146986 markings, 54233938 edges, 158256 markings/sec, 55 secs
lola: 26796139 markings, 58067281 edges, 129831 markings/sec, 60 secs
lola: 27927235 markings, 61931358 edges, 226219 markings/sec, 65 secs
lola: 30034511 markings, 65791361 edges, 421455 markings/sec, 70 secs
lola: 31998285 markings, 69451459 edges, 392755 markings/sec, 75 secs
lola: 34006958 markings, 73201049 edges, 401735 markings/sec, 80 secs
lola: 35598419 markings, 77473353 edges, 318292 markings/sec, 85 secs
lola: 36352222 markings, 81180440 edges, 150761 markings/sec, 90 secs
lola: 37074281 markings, 84707881 edges, 144412 markings/sec, 95 secs
lola: 37793004 markings, 88233491 edges, 143745 markings/sec, 100 secs
lola: 38455779 markings, 91738849 edges, 132555 markings/sec, 105 secs
lola: 39632583 markings, 95331464 edges, 235361 markings/sec, 110 secs
lola: 41691778 markings, 99097168 edges, 411839 markings/sec, 115 secs
lola: 43624731 markings, 102704227 edges, 386591 markings/sec, 120 secs
lola: 45590106 markings, 106366215 edges, 393075 markings/sec, 125 secs
lola: 47249418 markings, 110557662 edges, 331862 markings/sec, 130 secs
lola: 48001632 markings, 114255015 edges, 150443 markings/sec, 135 secs
lola: 48715129 markings, 117744609 edges, 142699 markings/sec, 140 secs
lola: 49420199 markings, 121213716 edges, 141014 markings/sec, 145 secs
lola: 50082475 markings, 124671866 edges, 132455 markings/sec, 150 secs
lola: 51040667 markings, 128162912 edges, 191638 markings/sec, 155 secs
lola: 53083823 markings, 131889753 edges, 408631 markings/sec, 160 secs
lola: 54994211 markings, 135454276 edges, 382078 markings/sec, 165 secs
lola: 56925501 markings, 139053692 edges, 386258 markings/sec, 170 secs
lola: 58776976 markings, 143094059 edges, 370295 markings/sec, 175 secs
lola: 59522151 markings, 146739352 edges, 149035 markings/sec, 180 secs
lola: 60213787 markings, 150127337 edges, 138327 markings/sec, 185 secs
lola: 60893246 markings, 153463940 edges, 135892 markings/sec, 190 secs
lola: 61548728 markings, 156801205 edges, 131096 markings/sec, 195 secs
lola: 62165213 markings, 160094689 edges, 123297 markings/sec, 200 secs
lola: 63860779 markings, 163664772 edges, 339113 markings/sec, 205 secs
lola: 65799944 markings, 167236264 edges, 387833 markings/sec, 210 secs
lola: 67656361 markings, 170700778 edges, 371283 markings/sec, 215 secs
lola: 69599801 markings, 174321886 edges, 388688 markings/sec, 220 secs
lola: 70895494 markings, 178335573 edges, 259139 markings/sec, 225 secs
lola: 71589639 markings, 181746162 edges, 138829 markings/sec, 230 secs
lola: 72261703 markings, 185038698 edges, 134413 markings/sec, 235 secs
lola: 72935475 markings, 188343387 edges, 134754 markings/sec, 240 secs
lola: 73564379 markings, 191643370 edges, 125781 markings/sec, 245 secs
lola: 74406389 markings, 194942785 edges, 168402 markings/sec, 250 secs
lola: 76386336 markings, 198554490 edges, 395989 markings/sec, 255 secs
lola: 78253956 markings, 202029689 edges, 373524 markings/sec, 260 secs
lola: 80110479 markings, 205489589 edges, 371305 markings/sec, 265 secs
lola: 82118551 markings, 209322583 edges, 401614 markings/sec, 270 secs
lola: 82852453 markings, 212931733 edges, 146780 markings/sec, 275 secs
lola: 83521886 markings, 216204820 edges, 133887 markings/sec, 280 secs
lola: 84174553 markings, 219412104 edges, 130533 markings/sec, 285 secs
lola: 84832221 markings, 222663755 edges, 131534 markings/sec, 290 secs
lola: 85423172 markings, 225810675 edges, 118190 markings/sec, 295 secs
lola: 86470768 markings, 229130090 edges, 209519 markings/sec, 300 secs
lola: 88474231 markings, 232786390 edges, 400693 markings/sec, 305 secs
lola: 90341757 markings, 236268977 edges, 373505 markings/sec, 310 secs
lola: 92233502 markings, 239796320 edges, 378349 markings/sec, 315 secs
lola: 94097800 markings, 243757653 edges, 372860 markings/sec, 320 secs
lola: 94831844 markings, 247367478 edges, 146809 markings/sec, 325 secs
lola: 95514026 markings, 250692859 edges, 136436 markings/sec, 330 secs
lola: 96177756 markings, 253965141 edges, 132746 markings/sec, 335 secs
lola: 96832862 markings, 257255801 edges, 131021 markings/sec, 340 secs
lola: 97434360 markings, 260465599 edges, 120300 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 640 320 320 640 320 unknown unknown unknown unknown unknown unknown unknown unknown 640
lola: memory consumption: 4250356 KB
lola: time consumption: 743 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Wsr2Deployed)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Wsr2Deployed)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 219275 markings, 433562 edges
lola: ========================================

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-8 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 403 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(WSRuntime1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(WSRuntime1)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 320
lola: 2691514 markings, 5343753 edges, 538303 markings/sec, 0 secs
lola: 5599466 markings, 11135840 edges, 581590 markings/sec, 5 secs
lola: 8329977 markings, 16577992 edges, 546102 markings/sec, 10 secs
lola: 11073266 markings, 22047902 edges, 548658 markings/sec, 15 secs
lola: 14010394 markings, 27905500 edges, 587426 markings/sec, 20 secs
lola: 16671943 markings, 33214861 edges, 532310 markings/sec, 25 secs
lola: 19606568 markings, 39068987 edges, 586925 markings/sec, 30 secs
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 21951873 markings, 43748053 edges

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-9 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: ========================================
subprocess 10 will run for 464 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ScUnavailable)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ScUnavailable)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 0 markings, 0 edges
lola:
FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-10 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 11 will run for 557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ScWorking)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ScWorking)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 641 markings, 640 edges

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-11 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 696 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(WsRuntime3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(WsRuntime3)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 320
lola: 2930583 markings, 5819511 edges, 586117 markings/sec, 0 secs
lola: 5807506 markings, 11550124 edges, 575385 markings/sec, 5 secs
lola: 8665178 markings, 17246298 edges, 571534 markings/sec, 10 secs
lola: 11314008 markings, 22527753 edges, 529766 markings/sec, 15 secs
lola: 14199856 markings, 28283536 edges, 577170 markings/sec, 20 secs
lola: 17071603 markings, 34011549 edges, 574349 markings/sec, 25 secs
lola: 19950060 markings, 39754835 edges, 575691 markings/sec, 30 secs
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 21951873 markings, 43748053 edges
lola: ========================================

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-12 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 916 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Bounder1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Bounder1)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 960
lola: 3557038 markings, 5737589 edges, 711408 markings/sec, 0 secs
lola: 6904730 markings, 11256393 edges, 669538 markings/sec, 5 secs
lola: 9907713 markings, 16322112 edges, 600597 markings/sec, 10 secs
lola: 12649442 markings, 20955659 edges, 548346 markings/sec, 15 secs
lola: 15236669 markings, 25635195 edges, 517445 markings/sec, 20 secs
lola: 17691784 markings, 30202650 edges, 491023 markings/sec, 25 secs
lola: 20044317 markings, 34475879 edges, 470507 markings/sec, 30 secs
lola: 22475861 markings, 38892022 edges, 486309 markings/sec, 35 secs
lola: 23911380 markings, 43528584 edges, 287104 markings/sec, 40 secs
lola: 24743226 markings, 47511273 edges, 166369 markings/sec, 45 secs
lola: 25546426 markings, 51352298 edges, 160640 markings/sec, 50 secs
lola: 26341488 markings, 55158754 edges, 159012 markings/sec, 55 secs
lola: 26948544 markings, 59055527 edges, 121411 markings/sec, 60 secs
lola: 28505229 markings, 62987359 edges, 311337 markings/sec, 65 secs
lola: 30584179 markings, 66817413 edges, 415790 markings/sec, 70 secs
lola: 32564494 markings, 70509018 edges, 396063 markings/sec, 75 secs
lola: 34664609 markings, 74425743 edges, 420023 markings/sec, 80 secs
lola: 35842523 markings, 78673273 edges, 235583 markings/sec, 85 secs
lola: 36593883 markings, 82348932 edges, 150272 markings/sec, 90 secs
lola: 37317983 markings, 85901308 edges, 144820 markings/sec, 95 secs
lola: 38023387 markings, 89437373 edges, 141081 markings/sec, 100 secs
lola: 38681934 markings, 92950513 edges, 131709 markings/sec, 105 secs
lola: 40379813 markings, 96693525 edges, 339576 markings/sec, 110 secs
lola: 42409422 markings, 100437905 edges, 405922 markings/sec, 115 secs
lola: 44358590 markings, 104072200 edges, 389834 markings/sec, 120 secs
lola: 46428932 markings, 107933140 edges, 414068 markings/sec, 125 secs
lola: 47567272 markings, 112118376 edges, 227668 markings/sec, 130 secs
lola: 48303502 markings, 115741120 edges, 147246 markings/sec, 135 secs
lola: 49019377 markings, 119249410 edges, 143175 markings/sec, 140 secs
lola: 49721140 markings, 122750062 edges, 140353 markings/sec, 145 secs
lola: 50372999 markings, 126226096 edges, 130372 markings/sec, 150 secs
lola: 51981939 markings, 129881695 edges, 321788 markings/sec, 155 secs
lola: 53980036 markings, 133563617 edges, 399619 markings/sec, 160 secs
lola: 55899056 markings, 137142305 edges, 383804 markings/sec, 165 secs
lola: 57921527 markings, 140914892 edges, 404494 markings/sec, 170 secs
lola: 59166810 markings, 144995180 edges, 249057 markings/sec, 175 secs
lola: 59878316 markings, 148497034 edges, 142301 markings/sec, 180 secs
lola: 60566797 markings, 151859824 edges, 137696 markings/sec, 185 secs
lola: 61255255 markings, 155235665 edges, 137692 markings/sec, 190 secs
lola: 61877186 markings, 158549250 edges, 124386 markings/sec, 195 secs
lola: 62953245 markings, 162005146 edges, 215212 markings/sec, 200 secs
lola: 64951332 markings, 165658483 edges, 399617 markings/sec, 205 secs
lola: 66827172 markings, 169154589 edges, 375168 markings/sec, 210 secs
lola: 68735136 markings, 172710931 edges, 381593 markings/sec, 215 secs
lola: 70568084 markings, 176737968 edges, 366590 markings/sec, 220 secs
lola: 71312910 markings, 180385021 edges, 148965 markings/sec, 225 secs
lola: 71998971 markings, 183736840 edges, 137212 markings/sec, 230 secs
lola: 72678430 markings, 187066237 edges, 135892 markings/sec, 235 secs
lola: 73323801 markings, 190363234 edges, 129074 markings/sec, 240 secs
lola: 73942213 markings, 193654334 edges, 123682 markings/sec, 245 secs
lola: 75654701 markings, 197221337 edges, 342498 markings/sec, 250 secs
lola: 77585512 markings, 200782880 edges, 386162 markings/sec, 255 secs
lola: 79441851 markings, 204241579 edges, 371268 markings/sec, 260 secs
lola: 81396587 markings, 207890267 edges, 390947 markings/sec, 265 secs
lola: 82624442 markings, 211822970 edges, 245571 markings/sec, 270 secs
lola: 83317354 markings, 215202401 edges, 138582 markings/sec, 275 secs
lola: 83975991 markings, 218441625 edges, 131727 markings/sec, 280 secs
lola: 84638019 markings, 221676726 edges, 132406 markings/sec, 285 secs
lola: 85249083 markings, 224880437 edges, 122213 markings/sec, 290 secs
lola: 85904897 markings, 228092017 edges, 131163 markings/sec, 295 secs
lola: 87923245 markings, 231779837 edges, 403670 markings/sec, 300 secs
lola: 89843064 markings, 235336706 edges, 383964 markings/sec, 305 secs
lola: 91725573 markings, 238848484 edges, 376502 markings/sec, 310 secs
lola: 93778948 markings, 242676204 edges, 410675 markings/sec, 315 secs
lola: 94672227 markings, 246571788 edges, 178656 markings/sec, 320 secs
lola: 95368100 markings, 249985485 edges, 139175 markings/sec, 325 secs
lola: 96039491 markings, 253272612 edges, 134278 markings/sec, 330 secs
lola: 96707511 markings, 256589924 edges, 133604 markings/sec, 335 secs
lola: 97319895 markings, 259856714 edges, 122477 markings/sec, 340 secs
lola: 98561183 markings, 263252689 edges, 248258 markings/sec, 345 secs
lola: 100509388 markings, 266820818 edges, 389641 markings/sec, 350 secs
lola: 102352437 markings, 270257048 edges, 368610 markings/sec, 355 secs
lola: 104234884 markings, 273766981 edges, 376489 markings/sec, 360 secs
lola: 105939758 markings, 277734414 edges, 340975 markings/sec, 365 secs
lola: 106647049 markings, 281207074 edges, 141458 markings/sec, 370 secs
lola: 107294869 markings, 284381678 edges, 129564 markings/sec, 375 secs
lola: 107937978 markings, 287535737 edges, 128622 markings/sec, 380 secs
lola: 108561480 markings, 290676381 edges, 124700 markings/sec, 385 secs
lola: 109146258 markings, 293798925 edges, 116956 markings/sec, 390 secs
lola: 110432812 markings, 297152516 edges, 257311 markings/sec, 395 secs
lola: 112330414 markings, 300629582 edges, 379520 markings/sec, 400 secs
lola: 114137362 markings, 303996792 edges, 361390 markings/sec, 405 secs
lola: 115968950 markings, 307414262 edges, 366318 markings/sec, 410 secs
lola: 117765075 markings, 311278910 edges, 359225 markings/sec, 415 secs
lola: 118482729 markings, 314785558 edges, 143531 markings/sec, 420 secs
lola: 119132100 markings, 317984926 edges, 129874 markings/sec, 425 secs
lola: 119775250 markings, 321128018 edges, 128630 markings/sec, 430 secs
lola: 120407828 markings, 324290740 edges, 126516 markings/sec, 435 secs
lola: 120992539 markings, 327407038 edges, 116942 markings/sec, 440 secs
lola: 122183007 markings, 330676991 edges, 238094 markings/sec, 445 secs
lola: 124101074 markings, 334187141 edges, 383613 markings/sec, 450 secs
lola: 125899857 markings, 337540605 edges, 359757 markings/sec, 455 secs
lola: 127723743 markings, 340942346 edges, 364777 markings/sec, 460 secs
lola: 129514213 markings, 344756747 edges, 358094 markings/sec, 465 secs
lola: 130205992 markings, 348151916 edges, 138356 markings/sec, 470 secs
lola: 130842010 markings, 351279679 edges, 127204 markings/sec, 475 secs
lola: 131461956 markings, 354306308 edges, 123989 markings/sec, 480 secs
lola: 132045845 markings, 357171389 edges, 116778 markings/sec, 485 secs
lola: 132611763 markings, 360197160 edges, 113184 markings/sec, 490 secs
lola: 133322623 markings, 363311029 edges, 142172 markings/sec, 495 secs
lola: 135265991 markings, 366857198 edges, 388674 markings/sec, 500 secs
lola: 136965047 markings, 370002859 edges, 339811 markings/sec, 505 secs
lola: 138603205 markings, 373057358 edges, 327632 markings/sec, 510 secs
lola: 140320770 markings, 376259670 edges, 343513 markings/sec, 515 secs
lola: 141699922 markings, 379937974 edges, 275830 markings/sec, 520 secs
lola: 142326668 markings, 383009752 edges, 125349 markings/sec, 525 secs
lola: 142903212 markings, 385838137 edges, 115309 markings/sec, 530 secs
lola: 143469881 markings, 388618448 edges, 113334 markings/sec, 535 secs
lola: 144050033 markings, 391462163 edges, 116030 markings/sec, 540 secs
lola: 144553720 markings, 394157123 edges, 100737 markings/sec, 545 secs
lola: 145065560 markings, 396843341 edges, 102368 markings/sec, 550 secs
lola: 146776966 markings, 399968736 edges, 342281 markings/sec, 555 secs
lola: 148480676 markings, 403114066 edges, 340742 markings/sec, 560 secs
lola: 150102131 markings, 406135789 edges, 324291 markings/sec, 565 secs
lola: 151773754 markings, 409250713 edges, 334325 markings/sec, 570 secs
lola: 153336822 markings, 412810878 edges, 312614 markings/sec, 575 secs
lola: 153939811 markings, 415774087 edges, 120598 markings/sec, 580 secs
lola: 154495854 markings, 418498878 edges, 111209 markings/sec, 585 secs
lola: 155031994 markings, 421125167 edges, 107228 markings/sec, 590 secs
lola: 155576371 markings, 423793523 edges, 108875 markings/sec, 595 secs
lola: 156095575 markings, 426465326 edges, 103841 markings/sec, 600 secs
lola: 156571667 markings, 429009327 edges, 95218 markings/sec, 605 secs
lola: 157456378 markings, 431828982 edges, 176942 markings/sec, 610 secs
lola: 159122028 markings, 434871631 edges, 333130 markings/sec, 615 secs
lola: 160762013 markings, 437903228 edges, 327997 markings/sec, 620 secs
lola: 162329385 markings, 440829028 edges, 313474 markings/sec, 625 secs
lola: 163964821 markings, 443878761 edges, 327087 markings/sec, 630 secs
lola: 165432199 markings, 447405768 edges, 293476 markings/sec, 635 secs
lola: 166036456 markings, 450376735 edges, 120851 markings/sec, 640 secs
lola: 166598912 markings, 453125395 edges, 112491 markings/sec, 645 secs
lola: 167138800 markings, 455782780 edges, 107978 markings/sec, 650 secs
lola: 167689814 markings, 458478212 edges, 110203 markings/sec, 655 secs
lola: 168203603 markings, 461152956 edges, 102758 markings/sec, 660 secs
lola: 168686755 markings, 463732730 edges, 96630 markings/sec, 665 secs
lola: 169868502 markings, 466607280 edges, 236349 markings/sec, 670 secs
lola: 171564569 markings, 469702868 edges, 339213 markings/sec, 675 secs
lola: 173149108 markings, 472657842 edges, 316908 markings/sec, 680 secs
lola: 174725067 markings, 475597547 edges, 315192 markings/sec, 685 secs
lola: 176424395 markings, 478764871 edges, 339866 markings/sec, 690 secs
lola: 177458836 markings, 482165917 edges, 206888 markings/sec, 695 secs
lola: 178030128 markings, 484969900 edges, 114258 markings/sec, 700 secs
lola: 178566860 markings, 487609656 edges, 107346 markings/sec, 705 secs
lola: 179101875 markings, 490223615 edges, 107003 markings/sec, 710 secs
lola: 179650831 markings, 492909154 edges, 109791 markings/sec, 715 secs
lola: 180127136 markings, 495456644 edges, 95261 markings/sec, 720 secs
lola: 180599099 markings, 497974290 edges, 94393 markings/sec, 725 secs
lola: 181916251 markings, 501033447 edges, 263430 markings/sec, 730 secs
lola: 183685384 markings, 504260214 edges, 353827 markings/sec, 735 secs
lola: 185323881 markings, 507318043 edges, 327699 markings/sec, 740 secs
lola: 186964650 markings, 510376483 edges, 328154 markings/sec, 745 secs
lola: 188759060 markings, 513723747 edges, 358882 markings/sec, 750 secs
lola: 189683575 markings, 517269177 edges, 184903 markings/sec, 755 secs
lola: 190291175 markings, 520243349 edges, 121520 markings/sec, 760 secs
lola: 190864628 markings, 523054579 edges, 114691 markings/sec, 765 secs
lola: 191440395 markings, 525873823 edges, 115153 markings/sec, 770 secs
lola: 191996086 markings, 528703302 edges, 111138 markings/sec, 775 secs
lola: 192506088 markings, 531423595 edges, 102000 markings/sec, 780 secs
lola: 193507513 markings, 534330333 edges, 200285 markings/sec, 785 secs
lola: 195243934 markings, 537501592 edges, 347284 markings/sec, 790 secs
lola: 196893785 markings, 540571166 edges, 329970 markings/sec, 795 secs
lola: 198506696 markings, 543581490 edges, 322582 markings/sec, 800 secs
lola: 200187458 markings, 546710821 edges, 336152 markings/sec, 805 secs
lola: 201384632 markings, 550378346 edges, 239435 markings/sec, 810 secs
lola: 201938675 markings, 553088912 edges, 110809 markings/sec, 815 secs
lola: 202503234 markings, 555859737 edges, 112912 markings/sec, 820 secs
lola: 203110457 markings, 558832914 edges, 121445 markings/sec, 825 secs
lola: 203702776 markings, 561791195 edges, 118464 markings/sec, 830 secs
lola: 204169545 markings, 564269479 edges, 93354 markings/sec, 835 secs
lola: 204793650 markings, 567055931 edges, 124821 markings/sec, 840 secs
lola: 206387445 markings, 570341899 edges, 318759 markings/sec, 845 secs
lola: 208167876 markings, 573615799 edges, 356086 markings/sec, 850 secs
lola: 209868185 markings, 576785598 edges, 340062 markings/sec, 855 secs
lola: 211462942 markings, 579762887 edges, 318951 markings/sec, 860 secs
lola: 213168918 markings, 583174780 edges, 341195 markings/sec, 865 secs
lola: 213805512 markings, 586304072 edges, 127319 markings/sec, 870 secs
lola: 214372240 markings, 589067786 edges, 113346 markings/sec, 875 secs
lola: 214900902 markings, 591658259 edges, 105732 markings/sec, 880 secs
lola: 215436157 markings, 594292043 edges, 107051 markings/sec, 885 secs
lola: 215959797 markings, 596940682 edges, 104728 markings/sec, 890 secs
lola: 216435214 markings, 599471515 edges, 95083 markings/sec, 895 secs
lola: 217119619 markings, 602097997 edges, 136881 markings/sec, 900 secs
lola: 218775274 markings, 605118764 edges, 331131 markings/sec, 905 secs
lola: 220396389 markings, 608114199 edges, 324223 markings/sec, 910 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 640 320 320 640 320 unknown 320 320 320 320 320 unknown unknown 640
lola: memory consumption: 8583280 KB
lola: time consumption: 1738 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 915 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Wsr3Deployed)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Wsr3Deployed)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 219275 markings, 433562 edges
lola: ========================================

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-14 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1831 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ScStopped)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ScStopped)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 321 markings, 320 edges
lola: ========================================

FORMULA CloudOpsManagement-PT-00640by00320-UpperBounds-1 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(Bounder1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Bounder1)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file CloudOpsManagement-PT-00640by00320-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: 960
lola: 3576733 markings, 5769762 edges, 715347 markings/sec, 0 secs
lola: 6788486 markings, 11064454 edges, 642351 markings/sec, 5 secs
lola: 9566491 markings, 15745140 edges, 555601 markings/sec, 10 secs
lola: 12251919 markings, 20283415 edges, 537086 markings/sec, 15 secs
lola: 14866380 markings, 24937714 edges, 522892 markings/sec, 20 secs
lola: 17335194 markings, 29554690 edges, 493763 markings/sec, 25 secs
lola: 19514987 markings, 33514697 edges, 435959 markings/sec, 30 secs
lola: 21843808 markings, 37748999 edges, 465764 markings/sec, 35 secs
lola: 23663993 markings, 42344242 edges, 364037 markings/sec, 40 secs
lola: 24457231 markings, 46142032 edges, 158648 markings/sec, 45 secs
lola: 25159641 markings, 49507246 edges, 140482 markings/sec, 50 secs
lola: 25904759 markings, 53075677 edges, 149024 markings/sec, 55 secs
lola: 26575199 markings, 56637924 edges, 134088 markings/sec, 60 secs
lola: 27131707 markings, 60242424 edges, 111302 markings/sec, 65 secs
lola: 29002771 markings, 63894315 edges, 374213 markings/sec, 70 secs
lola: 30886269 markings, 67380530 edges, 376700 markings/sec, 75 secs
lola: 32703884 markings, 70769888 edges, 363523 markings/sec, 80 secs
lola: 34635250 markings, 74371526 edges, 386273 markings/sec, 85 secs
lola: 35759880 markings, 78275975 edges, 224926 markings/sec, 90 secs
lola: 36427009 markings, 81537384 edges, 133426 markings/sec, 95 secs
lola: 37070172 markings, 84691751 edges, 128633 markings/sec, 100 secs
lola: 37722385 markings, 87885082 edges, 130443 markings/sec, 105 secs
lola: 38320063 markings, 91026339 edges, 119536 markings/sec, 110 secs
lola: 38983941 markings, 94147434 edges, 132776 markings/sec, 115 secs
lola: 40893172 markings, 97631530 edges, 381846 markings/sec, 120 secs
lola: 42728767 markings, 101031507 edges, 367119 markings/sec, 125 secs
lola: 44518480 markings, 104369876 edges, 357943 markings/sec, 130 secs
lola: 46427615 markings, 107928919 edges, 381827 markings/sec, 135 secs
lola: 47498708 markings, 111779515 edges, 214219 markings/sec, 140 secs
lola: 48154653 markings, 115012410 edges, 131189 markings/sec, 145 secs
lola: 48795016 markings, 118152519 edges, 128073 markings/sec, 150 secs
lola: 49443170 markings, 121319484 edges, 129631 markings/sec, 155 secs
lola: 50036912 markings, 124428602 edges, 118748 markings/sec, 160 secs
lola: 50652314 markings, 127452215 edges, 123080 markings/sec, 165 secs
lola: 52514166 markings, 130852584 edges, 372370 markings/sec, 170 secs
lola: 54343679 markings, 134241691 edges, 365903 markings/sec, 175 secs
lola: 56109990 markings, 137535266 edges, 353262 markings/sec, 180 secs
lola: 57972505 markings, 141008674 edges, 372503 markings/sec, 185 secs
lola: 59118187 markings, 144757536 edges, 229136 markings/sec, 190 secs
lola: 59757873 markings, 147900927 edges, 127937 markings/sec, 195 secs
lola: 60369737 markings, 150897123 edges, 122373 markings/sec, 200 secs
lola: 60987862 markings, 153922284 edges, 123625 markings/sec, 205 secs
lola: 61574681 markings, 156940909 edges, 117364 markings/sec, 210 secs
lola: 62123501 markings, 159869055 edges, 109764 markings/sec, 215 secs
lola: 63531070 markings, 163061022 edges, 281514 markings/sec, 220 secs
lola: 65357859 markings, 166413507 edges, 365358 markings/sec, 225 secs
lola: 67105895 markings, 169671028 edges, 349607 markings/sec, 230 secs
lola: 68871278 markings, 172962875 edges, 353077 markings/sec, 235 secs
lola: 70564972 markings, 176718287 edges, 338739 markings/sec, 240 secs
lola: 71239198 markings, 180023366 edges, 134845 markings/sec, 245 secs
lola: 71855773 markings, 183039852 edges, 123315 markings/sec, 250 secs
lola: 72470501 markings, 186046554 edges, 122946 markings/sec, 255 secs
lola: 73081750 markings, 189072244 edges, 122250 markings/sec, 260 secs
lola: 73634423 markings, 192015034 edges, 110535 markings/sec, 265 secs
lola: 74430309 markings, 194987056 edges, 159177 markings/sec, 270 secs
lola: 76269301 markings, 198341095 edges, 367798 markings/sec, 275 secs
lola: 78028688 markings, 201608707 edges, 351877 markings/sec, 280 secs
lola: 79738859 markings, 204798612 edges, 342034 markings/sec, 285 secs
lola: 81564492 markings, 208200915 edges, 365127 markings/sec, 290 secs
lola: 82624442 markings, 211821854 edges, 211990 markings/sec, 295 secs
lola: 83247667 markings, 214867995 edges, 124645 markings/sec, 300 secs
lola: 83845527 markings, 217790506 edges, 119572 markings/sec, 305 secs
lola: 84494117 markings, 220975484 edges, 129718 markings/sec, 310 secs
lola: 85119262 markings, 224185730 edges, 125029 markings/sec, 315 secs
lola: 85699509 markings, 227289892 edges, 116049 markings/sec, 320 secs
lola: 87411256 markings, 230844624 edges, 342349 markings/sec, 325 secs
lola: 89369940 markings, 234453897 edges, 391737 markings/sec, 330 secs
lola: 91231877 markings, 237927561 edges, 372387 markings/sec, 335 secs
lola: 93188849 markings, 241578287 edges, 391394 markings/sec, 340 secs
lola: 94480208 markings, 245638208 edges, 258272 markings/sec, 345 secs
lola: 95180978 markings, 249079103 edges, 140154 markings/sec, 350 secs
lola: 95846052 markings, 252331739 edges, 133015 markings/sec, 355 secs
lola: 96519135 markings, 255638577 edges, 134617 markings/sec, 360 secs
lola: 97139580 markings, 258893403 edges, 124089 markings/sec, 365 secs
lola: 97950495 markings, 262137629 edges, 162183 markings/sec, 370 secs
lola: 99906926 markings, 265707454 edges, 391286 markings/sec, 375 secs
lola: 101779040 markings, 269188565 edges, 374423 markings/sec, 380 secs
lola: 103611212 markings, 272603348 edges, 366434 markings/sec, 385 secs
lola: 105653153 markings, 276412124 edges, 408388 markings/sec, 390 secs
lola: 106423894 markings, 280113560 edges, 154148 markings/sec, 395 secs
lola: 107084457 markings, 283341363 edges, 132113 markings/sec, 400 secs
lola: 107721484 markings, 286479174 edges, 127405 markings/sec, 405 secs
lola: 108374512 markings, 289678122 edges, 130606 markings/sec, 410 secs
lola: 108959521 markings, 292795767 edges, 117002 markings/sec, 415 secs
lola: 109783205 markings, 295967760 edges, 164737 markings/sec, 420 secs
lola: 111695007 markings, 299455976 edges, 382360 markings/sec, 425 secs
lola: 113537511 markings, 302878205 edges, 368501 markings/sec, 430 secs
lola: 115336091 markings, 306231573 edges, 359716 markings/sec, 435 secs
lola: 117281787 markings, 309858975 edges, 389139 markings/sec, 440 secs
lola: 118242583 markings, 313623734 edges, 192159 markings/sec, 445 secs
lola: 118901658 markings, 316844702 edges, 131815 markings/sec, 450 secs
lola: 119530050 markings, 319938167 edges, 125678 markings/sec, 455 secs
lola: 120173502 markings, 323079881 edges, 128690 markings/sec, 460 secs
lola: 120766447 markings, 326207704 edges, 118589 markings/sec, 465 secs
lola: 121398218 markings, 329246266 edges, 126354 markings/sec, 470 secs
lola: 123294511 markings, 332709268 edges, 379259 markings/sec, 475 secs
lola: 125145445 markings, 336133328 edges, 370187 markings/sec, 480 secs
lola: 126919367 markings, 339439381 edges, 354784 markings/sec, 485 secs
lola: 128804041 markings, 342956505 edges, 376935 markings/sec, 490 secs
lola: 129902229 markings, 346673086 edges, 219638 markings/sec, 495 secs
lola: 130548521 markings, 349841665 edges, 129258 markings/sec, 500 secs
lola: 131164627 markings, 352845409 edges, 123221 markings/sec, 505 secs
lola: 131781467 markings, 355869963 edges, 123368 markings/sec, 510 secs
lola: 132368204 markings, 358893215 edges, 117347 markings/sec, 515 secs
lola: 132917727 markings, 361829126 edges, 109905 markings/sec, 520 secs
lola: 134322531 markings, 365139073 edges, 280961 markings/sec, 525 secs
lola: 136228751 markings, 368632137 edges, 381244 markings/sec, 530 secs
lola: 138029292 markings, 371987484 edges, 360108 markings/sec, 535 secs
lola: 139838816 markings, 375359303 edges, 361905 markings/sec, 540 secs
lola: 141555395 markings, 379229505 edges, 343316 markings/sec, 545 secs
lola: 142255324 markings, 382661776 edges, 139986 markings/sec, 550 secs
lola: 142896514 markings, 385797088 edges, 128238 markings/sec, 555 secs
lola: 143534274 markings, 388923117 edges, 127552 markings/sec, 560 secs
lola: 144167042 markings, 392087700 edges, 126554 markings/sec, 565 secs
lola: 144737537 markings, 395131631 edges, 114099 markings/sec, 570 secs
lola: 145865541 markings, 398303384 edges, 225601 markings/sec, 575 secs
lola: 147746917 markings, 401743283 edges, 376275 markings/sec, 580 secs
lola: 149360294 markings, 404751351 edges, 322675 markings/sec, 585 secs
lola: 150899356 markings, 407621678 edges, 307812 markings/sec, 590 secs
lola: 152574841 markings, 410746128 edges, 335097 markings/sec, 595 secs
lola: 153556083 markings, 413884831 edges, 196248 markings/sec, 600 secs
lola: 154084692 markings, 416491782 edges, 105722 markings/sec, 605 secs
lola: 154606834 markings, 419036719 edges, 104428 markings/sec, 610 secs
lola: 155124153 markings, 421568079 edges, 103464 markings/sec, 615 secs
lola: 155661247 markings, 424216206 edges, 107419 markings/sec, 620 secs
lola: 156136290 markings, 426684237 edges, 95009 markings/sec, 625 secs
lola: 156620623 markings, 429267542 edges, 96867 markings/sec, 630 secs
lola: 157675984 markings, 432232165 edges, 211072 markings/sec, 635 secs
lola: 159404358 markings, 435384953 edges, 345675 markings/sec, 640 secs
lola: 161064343 markings, 438468360 edges, 331997 markings/sec, 645 secs
lola: 162684432 markings, 441488225 edges, 324018 markings/sec, 650 secs
lola: 164401095 markings, 444692737 edges, 343333 markings/sec, 655 secs
lola: 165599312 markings, 448222377 edges, 239643 markings/sec, 660 secs
lola: 166201442 markings, 451180936 edges, 120426 markings/sec, 665 secs
lola: 166761491 markings, 453935358 edges, 112010 markings/sec, 670 secs
lola: 167314135 markings, 456640454 edges, 110529 markings/sec, 675 secs
lola: 167876132 markings, 459401324 edges, 112399 markings/sec, 680 secs
lola: 168374883 markings, 462065077 edges, 99750 markings/sec, 685 secs
lola: 168872257 markings, 464718067 edges, 99475 markings/sec, 690 secs
lola: 170562371 markings, 467870516 edges, 338023 markings/sec, 695 secs
lola: 172260348 markings, 471001249 edges, 339595 markings/sec, 700 secs
lola: 173874955 markings, 474011471 edges, 322921 markings/sec, 705 secs
lola: 175541216 markings, 477118043 edges, 333252 markings/sec, 710 secs
lola: 177142931 markings, 480626762 edges, 320343 markings/sec, 715 secs
lola: 177755821 markings, 483625134 edges, 122578 markings/sec, 720 secs
lola: 178326767 markings, 486419565 edges, 114189 markings/sec, 725 secs
lola: 178873889 markings, 489097239 edges, 109424 markings/sec, 730 secs
lola: 179422840 markings, 491789334 edges, 109790 markings/sec, 735 secs
lola: 179937843 markings, 494443689 edges, 103001 markings/sec, 740 secs
lola: 180424702 markings, 497037473 edges, 97372 markings/sec, 745 secs
lola: 181328732 markings, 499960106 edges, 180806 markings/sec, 750 secs
lola: 183151703 markings, 503286826 edges, 364594 markings/sec, 755 secs
lola: 184882995 markings, 506492507 edges, 346258 markings/sec, 760 secs
lola: 186568947 markings, 509638077 edges, 337190 markings/sec, 765 secs
lola: 188358068 markings, 512973293 edges, 357824 markings/sec, 770 secs
lola: 189560797 markings, 516663150 edges, 240546 markings/sec, 775 secs
lola: 190192750 markings, 519759705 edges, 126391 markings/sec, 780 secs
lola: 190788888 markings, 522678833 edges, 119228 markings/sec, 785 secs
lola: 191374456 markings, 525563851 edges, 117114 markings/sec, 790 secs
lola: 191949172 markings, 528447450 edges, 114943 markings/sec, 795 secs
lola: 192477948 markings, 531268469 edges, 105755 markings/sec, 800 secs
lola: 193476557 markings, 534273793 edges, 199722 markings/sec, 805 secs
lola: 195264970 markings, 537539301 edges, 357683 markings/sec, 810 secs
lola: 196947705 markings, 540674369 edges, 336547 markings/sec, 815 secs
lola: 198617242 markings, 543785633 edges, 333907 markings/sec, 820 secs
lola: 200399627 markings, 547105880 edges, 356477 markings/sec, 825 secs
lola: 201444782 markings, 550657744 edges, 209031 markings/sec, 830 secs
lola: 202048507 markings, 553623270 edges, 120745 markings/sec, 835 secs
lola: 202624016 markings, 556444222 edges, 115102 markings/sec, 840 secs
lola: 203192283 markings, 559230048 edges, 113653 markings/sec, 845 secs
lola: 203748389 markings, 562023196 edges, 111221 markings/sec, 850 secs
lola: 204259859 markings, 564755876 edges, 102294 markings/sec, 855 secs
lola: 204956874 markings, 567653939 edges, 139403 markings/sec, 860 secs
lola: 206655211 markings, 570831931 edges, 339667 markings/sec, 865 secs
lola: 208367206 markings, 573985669 edges, 342399 markings/sec, 870 secs
lola: 209994015 markings, 577021321 edges, 325362 markings/sec, 875 secs
lola: 211670734 markings, 580150334 edges, 335344 markings/sec, 880 secs
lola: 213277955 markings, 583706791 edges, 321444 markings/sec, 885 secs
lola: 213836021 markings, 586453630 edges, 111613 markings/sec, 890 secs
lola: 214407819 markings, 589253452 edges, 114360 markings/sec, 895 secs
lola: 214945965 markings, 591884974 edges, 107629 markings/sec, 900 secs
lola: 215492822 markings, 594562437 edges, 109371 markings/sec, 905 secs
lola: 216011378 markings, 597214981 edges, 103711 markings/sec, 910 secs
lola: 216516671 markings, 599915862 edges, 101059 markings/sec, 915 secs
lola: 217519556 markings, 602827272 edges, 200577 markings/sec, 920 secs
lola: 219266647 markings, 606015226 edges, 349418 markings/sec, 925 secs
lola: 220898858 markings, 609054007 edges, 326442 markings/sec, 930 secs
lola: 222504006 markings, 612042508 edges, 321030 markings/sec, 935 secs
lola: 224196711 markings, 615202683 edges, 338541 markings/sec, 940 secs
lola: 225357849 markings, 618645590 edges, 232228 markings/sec, 945 secs
lola: 225947348 markings, 621527038 edges, 117900 markings/sec, 950 secs
lola: 226498245 markings, 624242427 edges, 110179 markings/sec, 955 secs
lola: 227054100 markings, 626964844 edges, 111171 markings/sec, 960 secs
lola: 227644920 markings, 629859946 edges, 118164 markings/sec, 965 secs
lola: 228164643 markings, 632629764 edges, 103945 markings/sec, 970 secs
lola: 228688291 markings, 635377213 edges, 104730 markings/sec, 975 secs
lola: 230288185 markings, 638706028 edges, 319979 markings/sec, 980 secs
lola: 232107056 markings, 642038988 edges, 363774 markings/sec, 985 secs
lola: 233824594 markings, 645241255 edges, 343508 markings/sec, 990 secs
lola: 235549744 markings, 648459156 edges, 345030 markings/sec, 995 secs
lola: 237289162 markings, 652024233 edges, 347884 markings/sec, 1000 secs
lola: 237923782 markings, 655146518 edges, 126924 markings/sec, 1005 secs
lola: 238502848 markings, 657982837 edges, 115813 markings/sec, 1010 secs
lola: 239067621 markings, 660752891 edges, 112955 markings/sec, 1015 secs
lola: 239599394 markings, 663359018 edges, 106355 markings/sec, 1020 secs
lola: 240129823 markings, 666067691 edges, 106086 markings/sec, 1025 secs
lola: 240627385 markings, 668725009 edges, 99512 markings/sec, 1030 secs
lola: 241628929 markings, 671593150 edges, 200309 markings/sec, 1035 secs
lola: 243330518 markings, 674696909 edges, 340318 markings/sec, 1040 secs
lola: 244967923 markings, 677742974 edges, 327481 markings/sec, 1045 secs
lola: 246571366 markings, 680732395 edges, 320689 markings/sec, 1050 secs
lola: 248247118 markings, 683856841 edges, 335150 markings/sec, 1055 secs
lola: 249435273 markings, 687219743 edges, 237631 markings/sec, 1060 secs
lola: 250016032 markings, 690070878 edges, 116152 markings/sec, 1065 secs
lola: 250563401 markings, 692753735 edges, 109474 markings/sec, 1070 secs
lola: 251112908 markings, 695450956 edges, 109901 markings/sec, 1075 secs
lola: 251661346 markings, 698141084 edges, 109688 markings/sec, 1080 secs
lola: 252160871 markings, 700782287 edges, 99905 markings/sec, 1085 secs
lola: 252643663 markings, 703354388 edges, 96558 markings/sec, 1090 secs
lola: 253660245 markings, 706189908 edges, 203316 markings/sec, 1095 secs
lola: 255323606 markings, 709225251 edges, 332672 markings/sec, 1100 secs
lola: 256964839 markings, 712264578 edges, 328247 markings/sec, 1105 secs
lola: 258554956 markings, 715228141 edges, 318023 markings/sec, 1110 secs
lola: 260178778 markings, 718258917 edges, 324764 markings/sec, 1115 secs
lola: 261604786 markings, 721656401 edges, 285202 markings/sec, 1120 secs
lola: 262199112 markings, 724557525 edges, 118865 markings/sec, 1125 secs
lola: 262747657 markings, 727263329 edges, 109709 markings/sec, 1130 secs
lola: 263292151 markings, 729923173 edges, 108899 markings/sec, 1135 secs
lola: 263840294 markings, 732610012 edges, 109629 markings/sec, 1140 secs
lola: 264355486 markings, 735278699 edges, 103038 markings/sec, 1145 secs
lola: 264845758 markings, 737884091 edges, 98054 markings/sec, 1150 secs
lola: 265835645 markings, 740624575 edges, 197977 markings/sec, 1155 secs
lola: 267508260 markings, 743676341 edges, 334523 markings/sec, 1160 secs
lola: 269107436 markings, 746645956 edges, 319835 markings/sec, 1165 secs
lola: 270668897 markings, 749558712 edges, 312292 markings/sec, 1170 secs
lola: 272295508 markings, 752590889 edges, 325322 markings/sec, 1175 secs
lola: 273570642 markings, 755937068 edges, 255027 markings/sec, 1180 secs
lola: 274147716 markings, 758773335 edges, 115415 markings/sec, 1185 secs
lola: 274687702 markings, 761416982 edges, 107997 markings/sec, 1190 secs
lola: 275223543 markings, 764038588 edges, 107168 markings/sec, 1195 secs
lola: 275759649 markings, 766666266 edges, 107221 markings/sec, 1200 secs
lola: 276261556 markings, 769262067 edges, 100381 markings/sec, 1205 secs
lola: 276735747 markings, 771795027 edges, 94838 markings/sec, 1210 secs
lola: 277456861 markings, 774494108 edges, 144223 markings/sec, 1215 secs
lola: 279152243 markings, 777631188 edges, 339076 markings/sec, 1220 secs
lola: 280870430 markings, 780796000 edges, 343637 markings/sec, 1225 secs
lola: 282511053 markings, 783853653 edges, 328125 markings/sec, 1230 secs
lola: 284120973 markings, 786855686 edges, 321984 markings/sec, 1235 secs
lola: 285748253 markings, 790273240 edges, 325456 markings/sec, 1240 secs
lola: 286429411 markings, 793594429 edges, 136232 markings/sec, 1245 secs
lola: 287043002 markings, 796616976 edges, 122718 markings/sec, 1250 secs
lola: 287652068 markings, 799588156 edges, 121813 markings/sec, 1255 secs
lola: 288257457 markings, 802575061 edges, 121078 markings/sec, 1260 secs
lola: 288813157 markings, 805499414 edges, 111140 markings/sec, 1265 secs
lola: 289349488 markings, 808362710 edges, 107266 markings/sec, 1270 secs
lola: 291058543 markings, 811595953 edges, 341811 markings/sec, 1275 secs
lola: 292830848 markings, 814865009 edges, 354461 markings/sec, 1280 secs
lola: 294523956 markings, 818021311 edges, 338622 markings/sec, 1285 secs
lola: 296245875 markings, 821230424 edges, 344384 markings/sec, 1290 secs
lola: 297785056 markings, 824840219 edges, 307836 markings/sec, 1295 secs
lola: 298423252 markings, 827961345 edges, 127639 markings/sec, 1300 secs
lola: 299011121 markings, 830858021 edges, 117574 markings/sec, 1305 secs
lola: 299600666 markings, 833731672 edges, 117909 markings/sec, 1310 secs
lola: 300192409 markings, 836630467 edges, 118349 markings/sec, 1315 secs
lola: 300724178 markings, 839467069 edges, 106354 markings/sec, 1320 secs
lola: 301245229 markings, 842242914 edges, 104210 markings/sec, 1325 secs
lola: 302593745 markings, 845423416 edges, 269703 markings/sec, 1330 secs
lola: 304356854 markings, 848639485 edges, 352622 markings/sec, 1335 secs
lola: 306045510 markings, 851787621 edges, 337731 markings/sec, 1340 secs
lola: 307701064 markings, 854870172 edges, 331111 markings/sec, 1345 secs
lola: 309433729 markings, 858103430 edges, 346533 markings/sec, 1350 secs
lola: 310474034 markings, 861542636 edges, 208061 markings/sec, 1355 secs
lola: 311074786 markings, 864493989 edges, 120150 markings/sec, 1360 secs
lola: 311648953 markings, 867309322 edges, 114833 markings/sec, 1365 secs
lola: 312232764 markings, 870154628 edges, 116762 markings/sec, 1370 secs
lola: 312804229 markings, 873027044 edges, 114293 markings/sec, 1375 secs
lola: 313325676 markings, 875803220 edges, 104289 markings/sec, 1380 secs
lola: 314066996 markings, 878622623 edges, 148264 markings/sec, 1385 secs
lola: 315816580 markings, 881812098 edges, 349917 markings/sec, 1390 secs
lola: 317525004 markings, 884973938 edges, 341685 markings/sec, 1395 secs
lola: 319166934 markings, 888033493 edges, 328386 markings/sec, 1400 secs
lola: 320849106 markings, 891172347 edges, 336434 markings/sec, 1405 secs
lola: 322216272 markings, 894636926 edges, 273433 markings/sec, 1410 secs
lola: 322821452 markings, 897597263 edges, 121036 markings/sec, 1415 secs
lola: 323389348 markings, 900384387 edges, 113579 markings/sec, 1420 secs
lola: 323953165 markings, 903153323 edges, 112763 markings/sec, 1425 secs
lola: 324521899 markings, 905943193 edges, 113747 markings/sec, 1430 secs
lola: 325042876 markings, 908687489 edges, 104195 markings/sec, 1435 secs
lola: 325545539 markings, 911362745 edges, 100533 markings/sec, 1440 secs
lola: 326676829 markings, 914475328 edges, 226258 markings/sec, 1445 secs
lola: 328460751 markings, 917731188 edges, 356784 markings/sec, 1450 secs
lola: 330182879 markings, 920921976 edges, 344426 markings/sec, 1455 secs
lola: 331849193 markings, 924028643 edges, 333263 markings/sec, 1460 secs
lola: 333586285 markings, 927266930 edges, 347418 markings/sec, 1465 secs
lola: 334825945 markings, 930810905 edges, 247932 markings/sec, 1470 secs
lola: 335444783 markings, 933846149 edges, 123768 markings/sec, 1475 secs
lola: 336023589 markings, 936685482 edges, 115761 markings/sec, 1480 secs
lola: 336606694 markings, 939548213 edges, 116621 markings/sec, 1485 secs
lola: 337188389 markings, 942433406 edges, 116339 markings/sec, 1490 secs
lola: 337710500 markings, 945217827 edges, 104422 markings/sec, 1495 secs
lola: 338318976 markings, 948001853 edges, 121695 markings/sec, 1500 secs
lola: 340052326 markings, 951166509 edges, 346670 markings/sec, 1505 secs
lola: 341770163 markings, 954338379 edges, 343567 markings/sec, 1510 secs
lola: 343423767 markings, 957418358 edges, 330721 markings/sec, 1515 secs
lola: 345107700 markings, 960560303 edges, 336787 markings/sec, 1520 secs
lola: 346611946 markings, 964066326 edges, 300849 markings/sec, 1525 secs
lola: 347221144 markings, 967060037 edges, 121840 markings/sec, 1530 secs
lola: 347789829 markings, 969857664 edges, 113737 markings/sec, 1535 secs
lola: 348340939 markings, 972552226 edges, 110222 markings/sec, 1540 secs
lola: 348870651 markings, 975152777 edges, 105942 markings/sec, 1545 secs
lola: 349351695 markings, 977628022 edges, 96209 markings/sec, 1550 secs
lola: 349828683 markings, 980177539 edges, 95398 markings/sec, 1555 secs
lola: 350624170 markings, 982987669 edges, 159097 markings/sec, 1560 secs
lola: 352028981 markings, 985930920 edges, 280962 markings/sec, 1565 secs
lola: 353685204 markings, 988967233 edges, 331245 markings/sec, 1570 secs
lola: 355272115 markings, 991925049 edges, 317382 markings/sec, 1575 secs
lola: 356843897 markings, 994854272 edges, 314356 markings/sec, 1580 secs
lola: 358538743 markings, 998012250 edges, 338969 markings/sec, 1585 secs
lola: 359461534 markings, 1001285099 edges, 184558 markings/sec, 1590 secs
lola: 360029131 markings, 1004069950 edges, 113519 markings/sec, 1595 secs
lola: 360563189 markings, 1006696131 edges, 106812 markings/sec, 1600 secs
lola: 361106848 markings, 1009356853 edges, 108732 markings/sec, 1605 secs
lola: 361653912 markings, 1012048774 edges, 109413 markings/sec, 1610 secs
lola: 362139992 markings, 1014642525 edges, 97216 markings/sec, 1615 secs
lola: 362616547 markings, 1017194074 edges, 95311 markings/sec, 1620 secs
lola: 364019753 markings, 1020118073 edges, 280641 markings/sec, 1625 secs
lola: 365690055 markings, 1023175282 edges, 334060 markings/sec, 1630 secs
lola: 367271024 markings, 1026127122 edges, 316194 markings/sec, 1635 secs
lola: 368840751 markings, 1029051040 edges, 313945 markings/sec, 1640 secs
lola: 370531961 markings, 1032204568 edges, 338242 markings/sec, 1645 secs
lola: 371433729 markings, 1035425508 edges, 180354 markings/sec, 1650 secs
lola: 371992455 markings, 1038170845 edges, 111745 markings/sec, 1655 secs
lola: 372517842 markings, 1040749710 edges, 105077 markings/sec, 1660 secs
lola: 373054114 markings, 1043366077 edges, 107254 markings/sec, 1665 secs
lola: 373594813 markings, 1046018045 edges, 108140 markings/sec, 1670 secs
lola: 374075220 markings, 1048569665 edges, 96081 markings/sec, 1675 secs
lola: 374545990 markings, 1051082179 edges, 94154 markings/sec, 1680 secs
lola: 375386325 markings, 1053838586 edges, 168067 markings/sec, 1685 secs
lola: 377127831 markings, 1057016143 edges, 348301 markings/sec, 1690 secs
lola: 378859420 markings, 1060206197 edges, 346318 markings/sec, 1695 secs
lola: 380516269 markings, 1063296297 edges, 331370 markings/sec, 1700 secs
lola: 382206881 markings, 1066447721 edges, 338122 markings/sec, 1705 secs
lola: 383774168 markings, 1070024387 edges, 313457 markings/sec, 1710 secs
lola: 384405072 markings, 1073122064 edges, 126181 markings/sec, 1715 secs
lola: 384989098 markings, 1075968296 edges, 116805 markings/sec, 1720 secs
lola: 385514098 markings, 1078545055 edges, 105000 markings/sec, 1725 secs
lola: 386082534 markings, 1081331274 edges, 113687 markings/sec, 1730 secs
lola: 386604850 markings, 1084047356 edges, 104463 markings/sec, 1735 secs
lola: 387105638 markings, 1086719061 edges, 100158 markings/sec, 1740 secs
lola: 388261099 markings, 1089661325 edges, 231092 markings/sec, 1745 secs
lola: 389974257 markings, 1092785161 edges, 342632 markings/sec, 1750 secs
lola: 391596579 markings, 1095810172 edges, 324464 markings/sec, 1755 secs
lola: 393207297 markings, 1098814829 edges, 322144 markings/sec, 1760 secs
lola: 394926881 markings, 1102020351 edges, 343917 markings/sec, 1765 secs
lola: 396027702 markings, 1105479961 edges, 220164 markings/sec, 1770 secs
lola: 396619539 markings, 1108371981 edges, 118367 markings/sec, 1775 secs
lola: 397169413 markings, 1111072754 edges, 109975 markings/sec, 1780 secs
lola: 397716489 markings, 1113749578 edges, 109415 markings/sec, 1785 secs
lola: 398265233 markings, 1116460818 edges, 109749 markings/sec, 1790 secs
lola: 398757135 markings, 1119080444 edges, 98380 markings/sec, 1795 secs
lola: 399244813 markings, 1121688172 edges, 97536 markings/sec, 1800 secs
lola: 400313899 markings, 1124700256 edges, 213817 markings/sec, 1805 secs
lola: 401995950 markings, 1127767194 edges, 336410 markings/sec, 1810 secs
lola: 403639158 markings, 1130802382 edges, 328642 markings/sec, 1815 secs
lola: 405226349 markings, 1133762358 edges, 317438 markings/sec, 1820 secs
lola: 406869952 markings, 1136825472 edges, 328721 markings/sec, 1825 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 320 640 320 320 640 320 unknown 320 320 320 320 320 unknown 320 640
lola:
preliminary result: unknown 320 640 320 320 640 320 unknown 320 320 320 320 320 unknown 320 640
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 320 640 320 320 640 320 unknown 320 320 320 320 320 unknown 320 640
lola: memory consumption: 15136216 KB
lola: time consumption: 3570 seconds

BK_STOP 1553879517146

--------------------
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="CloudOpsManagement-PT-00640by00320"
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-3957"
echo " Executing tool win2018"
echo " Input is CloudOpsManagement-PT-00640by00320, 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 r216-smll-155381386300025"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudOpsManagement-PT-00640by00320.tgz
mv CloudOpsManagement-PT-00640by00320 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 ;