Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..................
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 9.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 32K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 26K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 25K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 7.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 31K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 10 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 983K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PolyORBLF-PT-S02J06T06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r124-smll-152673526900156
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526989895900

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-PT-S02J06T06 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-PT-S02J06T06 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PolyORBLF-PT-S02J06T06 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1600/65536 symbol table entries, 7 collisions
lola: preprocessing...
lola: Size of bit vector: 17152
lola: finding significant places
lola: 536 places, 1064 transitions, 486 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1483 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-PT-S02J06T06-UpperBounds.task
lola: MAX(CanInjectEvent) : MAX(Try_Check_Sources_E_1 + Try_Check_Sources_E_2 + Try_Check_Sources_E_3 + Try_Check_Sources_E_4 + Try_Check_Sources_E_5 + Try_Check_Sources_E_6) : MAX(DisablePollingE_3_1 + DisablePollingE_3_2 + DisablePollingE_4_1 + DisablePollingE_4_2 + DisablePollingE_5_1 + DisablePollingE_5_2 + DisablePollingE_6_1 + DisablePollingE_6_2 + DisablePollingE_2_2 + DisablePollingE_2_1 + DisablePollingE_1_2 + DisablePollingE_1_1) : MAX(CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_1_1 + CreatedJobs_1_2 + CreatedJobs_2_1 + CreatedJobs_2_2 + CreatedJobs_3_1 + CreatedJobs_3_2 + CreatedJobs_4_1 + CreatedJobs_4_2 + CreatedJobs_5_1 + CreatedJobs_5_2 + CreatedJobs_6_1 + CreatedJobs_6_2) : MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_2_0 + FetchJobE_2_1 + FetchJobE_2_2 + FetchJobE_2_3 + FetchJobE_2_4 + FetchJobE_2_5 + FetchJobE_2_6 + FetchJobE_3_0 + FetchJobE_3_1 + FetchJobE_3_2 + FetchJobE_3_3 + FetchJobE_3_4 + FetchJobE_3_5 + FetchJobE_3_6 + FetchJobE_4_0 + FetchJobE_4_1 + FetchJobE_4_2 + FetchJobE_4_3 + FetchJobE_4_4 + FetchJobE_4_5 + FetchJobE_4_6 + FetchJobE_5_0 + FetchJobE_5_1 + FetchJobE_5_2 + FetchJobE_5_3 + FetchJobE_5_4 + FetchJobE_5_5 + FetchJobE_5_6 + FetchJobE_6_0 + FetchJobE_6_1 + FetchJobE_6_2 + FetchJobE_6_3 + FetchJobE_6_4 + FetchJobE_6_5 + FetchJobE_6_6) : MAX(ORB_Lock) : MAX(P_1160_5 + P_1160_4 + P_1160_3 + P_1160_2 + P_1160_1 + P_1160_6) : MAX(P_1724_0 + P_1724_1 + P_1724_2 + P_1724_3 + P_1724_4 + P_1724_5 + P_1724_6) : MAX(AvailableJobId_5) : MAX(FetchJobE_3_5) : MAX(DataOnSrc_1) : MAX(QueueJobB_3_0) : MAX(P_2321_3) : MAX(Try_Check_Sources_B_5) : MAX(CreatedJobs_5_2) : MAX(NotifyEventJobQueuedE_1)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 215 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CanInjectEvent)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CanInjectEvent)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J06T06-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: 0 markings, 0 edges
lola: ========================================

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

FORMULA PolyORBLF-PT-S02J06T06-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 245 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(AvailableJobId_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AvailableJobId_5)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J06T06-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 137571 markings, 165560 edges, 27514 markings/sec, 30 secs
lola: 274828 markings, 331233 edges, 27451 markings/sec, 35 secs
lola: 411618 markings, 496593 edges, 27358 markings/sec, 40 secs
lola: 547949 markings, 661464 edges, 27266 markings/sec, 45 secs
lola: 685383 markings, 826815 edges, 27487 markings/sec, 50 secs
lola: 821584 markings, 990644 edges, 27240 markings/sec, 55 secs
lola: 956544 markings, 1154583 edges, 26992 markings/sec, 60 secs
lola: 1090673 markings, 1319000 edges, 26826 markings/sec, 65 secs
lola: 1223486 markings, 1482695 edges, 26563 markings/sec, 70 secs
lola: 1356089 markings, 1646444 edges, 26521 markings/sec, 75 secs
lola: 1490093 markings, 1810647 edges, 26801 markings/sec, 80 secs
lola: 1624376 markings, 1973765 edges, 26857 markings/sec, 85 secs
lola: 1759991 markings, 2140076 edges, 27123 markings/sec, 90 secs
lola: 1898015 markings, 2309851 edges, 27605 markings/sec, 95 secs
lola: 2037024 markings, 2480027 edges, 27802 markings/sec, 100 secs
lola: 2175773 markings, 2649328 edges, 27750 markings/sec, 105 secs
lola: 2314256 markings, 2818761 edges, 27697 markings/sec, 110 secs
lola: 2452857 markings, 2987977 edges, 27720 markings/sec, 115 secs
lola: 2590783 markings, 3157229 edges, 27585 markings/sec, 120 secs
lola: 2727563 markings, 3326590 edges, 27356 markings/sec, 125 secs
lola: 2865253 markings, 3496018 edges, 27538 markings/sec, 130 secs
lola: 3002697 markings, 3665615 edges, 27489 markings/sec, 135 secs
lola: 3140004 markings, 3835099 edges, 27461 markings/sec, 140 secs
lola: 3276465 markings, 4003034 edges, 27292 markings/sec, 145 secs
lola: 3414099 markings, 4172938 edges, 27527 markings/sec, 150 secs
lola: 3551335 markings, 4342278 edges, 27447 markings/sec, 155 secs
lola: 3688954 markings, 4510792 edges, 27524 markings/sec, 160 secs
lola: 3826465 markings, 4680205 edges, 27502 markings/sec, 165 secs
lola: 3963428 markings, 4848911 edges, 27393 markings/sec, 170 secs
lola: 4099299 markings, 5017807 edges, 27174 markings/sec, 175 secs
lola: 4235337 markings, 5185882 edges, 27208 markings/sec, 180 secs
lola: 4371447 markings, 5354959 edges, 27222 markings/sec, 185 secs
lola: 4507141 markings, 5522444 edges, 27139 markings/sec, 190 secs
lola: 4642921 markings, 5689977 edges, 27156 markings/sec, 195 secs
lola: 4777361 markings, 5854455 edges, 26888 markings/sec, 200 secs
lola: 4913284 markings, 6021250 edges, 27185 markings/sec, 205 secs
lola: 5047402 markings, 6185495 edges, 26824 markings/sec, 210 secs
lola: 5180788 markings, 6350089 edges, 26677 markings/sec, 215 secs
lola: 5312964 markings, 6512441 edges, 26435 markings/sec, 220 secs
lola: 5445360 markings, 6674681 edges, 26479 markings/sec, 225 secs
lola: 5580567 markings, 6840886 edges, 27041 markings/sec, 230 secs
lola: 5713678 markings, 7003685 edges, 26622 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 612204 KB
lola: time consumption: 372 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 245 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_3_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_3_5)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J06T06-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 139315 markings, 165484 edges, 27863 markings/sec, 30 secs
lola: 276608 markings, 332146 edges, 27459 markings/sec, 35 secs
lola: 413545 markings, 497709 edges, 27387 markings/sec, 40 secs
lola: 549983 markings, 662599 edges, 27288 markings/sec, 45 secs
lola: 686102 markings, 826552 edges, 27224 markings/sec, 50 secs
lola: 821506 markings, 991457 edges, 27081 markings/sec, 55 secs
lola: 956282 markings, 1155977 edges, 26955 markings/sec, 60 secs
lola: 1091200 markings, 1320226 edges, 26984 markings/sec, 65 secs
lola: 1226154 markings, 1484140 edges, 26991 markings/sec, 70 secs
lola: 1360666 markings, 1648722 edges, 26902 markings/sec, 75 secs
lola: 1495042 markings, 1813265 edges, 26875 markings/sec, 80 secs
lola: 1628819 markings, 1977035 edges, 26755 markings/sec, 85 secs
lola: 1762952 markings, 2140368 edges, 26827 markings/sec, 90 secs
lola: 1896435 markings, 2304009 edges, 26697 markings/sec, 95 secs
lola: 2030533 markings, 2467507 edges, 26820 markings/sec, 100 secs
lola: 2163877 markings, 2632388 edges, 26669 markings/sec, 105 secs
lola: 2297568 markings, 2796171 edges, 26738 markings/sec, 110 secs
lola: 2430892 markings, 2960665 edges, 26665 markings/sec, 115 secs
lola: 2563531 markings, 3125739 edges, 26528 markings/sec, 120 secs
lola: 2696693 markings, 3289892 edges, 26632 markings/sec, 125 secs
lola: 2829173 markings, 3454842 edges, 26496 markings/sec, 130 secs
lola: 2961961 markings, 3619576 edges, 26558 markings/sec, 135 secs
lola: 3094781 markings, 3783285 edges, 26564 markings/sec, 140 secs
lola: 3227312 markings, 3948019 edges, 26506 markings/sec, 145 secs
lola: 3360059 markings, 4111565 edges, 26549 markings/sec, 150 secs
lola: 3492733 markings, 4275433 edges, 26535 markings/sec, 155 secs
lola: 3625840 markings, 4439087 edges, 26621 markings/sec, 160 secs
lola: 3758133 markings, 4603312 edges, 26459 markings/sec, 165 secs
lola: 3890447 markings, 4767846 edges, 26463 markings/sec, 170 secs
lola: 4022662 markings, 4932125 edges, 26443 markings/sec, 175 secs
lola: 4154703 markings, 5095896 edges, 26408 markings/sec, 180 secs
lola: 4287454 markings, 5260068 edges, 26550 markings/sec, 185 secs
lola: 4414482 markings, 5417613 edges, 25406 markings/sec, 190 secs
lola: 4541852 markings, 5574954 edges, 25474 markings/sec, 195 secs
lola: 4669243 markings, 5733768 edges, 25478 markings/sec, 200 secs
lola: 4796644 markings, 5891038 edges, 25480 markings/sec, 205 secs
lola: 4923540 markings, 6049051 edges, 25379 markings/sec, 210 secs
lola: 5051947 markings, 6205192 edges, 25681 markings/sec, 215 secs
lola: 5182045 markings, 6365169 edges, 26020 markings/sec, 220 secs
lola: 5315012 markings, 6527500 edges, 26593 markings/sec, 225 secs
lola: 5446585 markings, 6690393 edges, 26315 markings/sec, 230 secs
lola: 5579418 markings, 6854553 edges, 26567 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 604976 KB
lola: time consumption: 617 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 246 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(DataOnSrc_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DataOnSrc_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J06T06-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 137745 markings, 159831 edges, 27549 markings/sec, 30 secs
lola: 273901 markings, 319284 edges, 27231 markings/sec, 35 secs
lola: 410142 markings, 479746 edges, 27248 markings/sec, 40 secs
lola: 545536 markings, 639741 edges, 27079 markings/sec, 45 secs
lola: 680296 markings, 799746 edges, 26952 markings/sec, 50 secs
lola: 815208 markings, 960561 edges, 26982 markings/sec, 55 secs
lola: 946360 markings, 1115520 edges, 26230 markings/sec, 60 secs
lola: 1080111 markings, 1273645 edges, 26750 markings/sec, 65 secs
lola: 1214385 markings, 1430895 edges, 26855 markings/sec, 70 secs
lola: 1349058 markings, 1590036 edges, 26935 markings/sec, 75 secs
lola: 1481647 markings, 1746765 edges, 26518 markings/sec, 80 secs
lola: 1614348 markings, 1903657 edges, 26540 markings/sec, 85 secs
lola: 1747584 markings, 2061068 edges, 26647 markings/sec, 90 secs
lola: 1880115 markings, 2217092 edges, 26506 markings/sec, 95 secs
lola: 2012638 markings, 2372493 edges, 26505 markings/sec, 100 secs
lola: 2144470 markings, 2527602 edges, 26366 markings/sec, 105 secs
lola: 2275957 markings, 2683470 edges, 26297 markings/sec, 110 secs
lola: 2407532 markings, 2839487 edges, 26315 markings/sec, 115 secs
lola: 2539314 markings, 2996459 edges, 26356 markings/sec, 120 secs
lola: 2664251 markings, 3143922 edges, 24987 markings/sec, 125 secs
lola: 2787201 markings, 3291072 edges, 24590 markings/sec, 130 secs
lola: 2913648 markings, 3439843 edges, 25289 markings/sec, 135 secs
lola: 3041857 markings, 3590807 edges, 25642 markings/sec, 140 secs
lola: 3170547 markings, 3741199 edges, 25738 markings/sec, 145 secs
lola: 3297368 markings, 3890998 edges, 25364 markings/sec, 150 secs
lola: 3423920 markings, 4041832 edges, 25310 markings/sec, 155 secs
lola: 3550400 markings, 4189658 edges, 25296 markings/sec, 160 secs
lola: 3676650 markings, 4339358 edges, 25250 markings/sec, 165 secs
lola: 3804058 markings, 4490912 edges, 25482 markings/sec, 170 secs
lola: 3931647 markings, 4638955 edges, 25518 markings/sec, 175 secs
lola: 4054781 markings, 4784692 edges, 24627 markings/sec, 180 secs
lola: 4176412 markings, 4928998 edges, 24326 markings/sec, 185 secs
lola: 4300232 markings, 5073450 edges, 24764 markings/sec, 190 secs
lola: 4427557 markings, 5223135 edges, 25465 markings/sec, 195 secs
lola: 4554872 markings, 5372326 edges, 25463 markings/sec, 200 secs
lola: 4680880 markings, 5519973 edges, 25202 markings/sec, 205 secs
lola: 4806310 markings, 5668058 edges, 25086 markings/sec, 210 secs
lola: 4932257 markings, 5817217 edges, 25189 markings/sec, 215 secs
lola: 5057465 markings, 5965481 edges, 25042 markings/sec, 220 secs
lola: 5183001 markings, 6113991 edges, 25107 markings/sec, 225 secs
lola: 5307929 markings, 6261094 edges, 24986 markings/sec, 230 secs
lola: 5433065 markings, 6409967 edges, 25027 markings/sec, 235 secs
lola: 5556461 markings, 6556884 edges, 24679 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 564692 KB
lola: time consumption: 863 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 246 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(QueueJobB_3_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(QueueJobB_3_0)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J06T06-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
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: 80 markings, 79 edges
lola: ========================================

FORMULA PolyORBLF-PT-S02J06T06-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_2321_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_2321_3)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J06T06-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
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: 1153 markings, 1211 edges

FORMULA PolyORBLF-PT-S02J06T06-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Try_Check_Sources_B_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Try_Check_Sources_B_5)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J06T06-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: 155 markings, 154 edges
lola: ========================================

FORMULA PolyORBLF-PT-S02J06T06-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 336 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_5_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_5_2)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J06T06-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 140227 markings, 167548 edges, 28045 markings/sec, 30 secs
lola: 278638 markings, 333152 edges, 27682 markings/sec, 35 secs
lola: 416799 markings, 499659 edges, 27632 markings/sec, 40 secs
lola: 554416 markings, 665604 edges, 27523 markings/sec, 45 secs
lola: 691394 markings, 830829 edges, 27396 markings/sec, 50 secs
lola: 827795 markings, 995897 edges, 27280 markings/sec, 55 secs
lola: 964309 markings, 1160533 edges, 27303 markings/sec, 60 secs
lola: 1100591 markings, 1323907 edges, 27256 markings/sec, 65 secs
lola: 1230020 markings, 1480600 edges, 25886 markings/sec, 70 secs
lola: 1359209 markings, 1636286 edges, 25838 markings/sec, 75 secs
lola: 1487987 markings, 1792257 edges, 25756 markings/sec, 80 secs
lola: 1616757 markings, 1948020 edges, 25754 markings/sec, 85 secs
lola: 1745838 markings, 2103152 edges, 25816 markings/sec, 90 secs
lola: 1874165 markings, 2258588 edges, 25665 markings/sec, 95 secs
lola: 2002386 markings, 2414635 edges, 25644 markings/sec, 100 secs
lola: 2130445 markings, 2568783 edges, 25612 markings/sec, 105 secs
lola: 2258483 markings, 2723768 edges, 25608 markings/sec, 110 secs
lola: 2385428 markings, 2877306 edges, 25389 markings/sec, 115 secs
lola: 2512909 markings, 3031731 edges, 25496 markings/sec, 120 secs
lola: 2640371 markings, 3187056 edges, 25492 markings/sec, 125 secs
lola: 2767311 markings, 3341306 edges, 25388 markings/sec, 130 secs
lola: 2894319 markings, 3496589 edges, 25402 markings/sec, 135 secs
lola: 3020756 markings, 3650998 edges, 25287 markings/sec, 140 secs
lola: 3147634 markings, 3804480 edges, 25376 markings/sec, 145 secs
lola: 3273670 markings, 3958194 edges, 25207 markings/sec, 150 secs
lola: 3397819 markings, 4105628 edges, 24830 markings/sec, 155 secs
lola: 3522612 markings, 4254505 edges, 24959 markings/sec, 160 secs
lola: 3647359 markings, 4405020 edges, 24949 markings/sec, 165 secs
lola: 3771472 markings, 4554244 edges, 24823 markings/sec, 170 secs
lola: 3895384 markings, 4702451 edges, 24782 markings/sec, 175 secs
lola: 4018867 markings, 4850091 edges, 24697 markings/sec, 180 secs
lola: 4141243 markings, 4993992 edges, 24475 markings/sec, 185 secs
lola: 4270144 markings, 5146957 edges, 25780 markings/sec, 190 secs
lola: 4394053 markings, 5295113 edges, 24782 markings/sec, 195 secs
lola: 4517225 markings, 5441811 edges, 24634 markings/sec, 200 secs
lola: 4646146 markings, 5596361 edges, 25784 markings/sec, 205 secs
lola: 4772758 markings, 5750475 edges, 25322 markings/sec, 210 secs
lola: 4896995 markings, 5899983 edges, 24847 markings/sec, 215 secs
lola: 5024755 markings, 6050385 edges, 25552 markings/sec, 220 secs
lola: 5151979 markings, 6205519 edges, 25445 markings/sec, 225 secs
lola: 5281250 markings, 6358244 edges, 25854 markings/sec, 230 secs
lola: 5408700 markings, 6508535 edges, 25490 markings/sec, 235 secs
lola: 5533982 markings, 6657559 edges, 25056 markings/sec, 240 secs
lola: 5660883 markings, 6806116 edges, 25380 markings/sec, 245 secs
lola: 5785394 markings, 6955869 edges, 24902 markings/sec, 250 secs
lola: 5912199 markings, 7107015 edges, 25361 markings/sec, 255 secs
lola: 6037399 markings, 7258813 edges, 25040 markings/sec, 260 secs
lola: 6161553 markings, 7411642 edges, 24831 markings/sec, 265 secs
lola: 6286877 markings, 7560778 edges, 25065 markings/sec, 270 secs
lola: 6416210 markings, 7710856 edges, 25867 markings/sec, 275 secs
lola: 6540134 markings, 7859182 edges, 24785 markings/sec, 280 secs
lola: 6664208 markings, 8006959 edges, 24815 markings/sec, 285 secs
lola: 6790321 markings, 8160308 edges, 25223 markings/sec, 290 secs
lola: 6917537 markings, 8309910 edges, 25443 markings/sec, 295 secs
lola: 7041393 markings, 8458485 edges, 24771 markings/sec, 300 secs
lola: 7163712 markings, 8604139 edges, 24464 markings/sec, 305 secs
lola: 7286693 markings, 8756141 edges, 24596 markings/sec, 310 secs
lola: 7408326 markings, 8904854 edges, 24327 markings/sec, 315 secs
lola: 7534216 markings, 9060134 edges, 25178 markings/sec, 320 secs
lola: 7662864 markings, 9210702 edges, 25730 markings/sec, 325 secs
lola: 7790332 markings, 9361769 edges, 25494 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown 1 1 1 unknown unknown
lola: memory consumption: 775396 KB
lola: time consumption: 1214 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 336 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobQueuedE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventJobQueuedE_1)
lola: processed formula length: 28
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J06T06-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 134134 markings, 159040 edges, 26827 markings/sec, 30 secs
lola: 266673 markings, 317781 edges, 26508 markings/sec, 35 secs
lola: 398737 markings, 476731 edges, 26413 markings/sec, 40 secs
lola: 530398 markings, 634716 edges, 26332 markings/sec, 45 secs
lola: 661237 markings, 794076 edges, 26168 markings/sec, 50 secs
lola: 792025 markings, 952371 edges, 26158 markings/sec, 55 secs
lola: 922666 markings, 1109528 edges, 26128 markings/sec, 60 secs
lola: 1053402 markings, 1266754 edges, 26147 markings/sec, 65 secs
lola: 1183282 markings, 1423724 edges, 25976 markings/sec, 70 secs
lola: 1313260 markings, 1580617 edges, 25996 markings/sec, 75 secs
lola: 1442950 markings, 1737982 edges, 25938 markings/sec, 80 secs
lola: 1572553 markings, 1895027 edges, 25921 markings/sec, 85 secs
lola: 1702027 markings, 2052534 edges, 25895 markings/sec, 90 secs
lola: 1831665 markings, 2209304 edges, 25928 markings/sec, 95 secs
lola: 1960845 markings, 2365878 edges, 25836 markings/sec, 100 secs
lola: 2089813 markings, 2521723 edges, 25794 markings/sec, 105 secs
lola: 2219137 markings, 2678006 edges, 25865 markings/sec, 110 secs
lola: 2348340 markings, 2834473 edges, 25841 markings/sec, 115 secs
lola: 2477387 markings, 2989529 edges, 25809 markings/sec, 120 secs
lola: 2606649 markings, 3144022 edges, 25852 markings/sec, 125 secs
lola: 2735551 markings, 3299727 edges, 25780 markings/sec, 130 secs
lola: 2864885 markings, 3453748 edges, 25867 markings/sec, 135 secs
lola: 2994010 markings, 3609050 edges, 25825 markings/sec, 140 secs
lola: 3122023 markings, 3761567 edges, 25603 markings/sec, 145 secs
lola: 3251393 markings, 3915188 edges, 25874 markings/sec, 150 secs
lola: 3380294 markings, 4067173 edges, 25780 markings/sec, 155 secs
lola: 3509272 markings, 4219072 edges, 25796 markings/sec, 160 secs
lola: 3638154 markings, 4370935 edges, 25776 markings/sec, 165 secs
lola: 3766623 markings, 4523031 edges, 25694 markings/sec, 170 secs
lola: 3895169 markings, 4671827 edges, 25709 markings/sec, 175 secs
lola: 4023036 markings, 4822803 edges, 25573 markings/sec, 180 secs
lola: 4152710 markings, 4974417 edges, 25935 markings/sec, 185 secs
lola: 4281601 markings, 5126675 edges, 25778 markings/sec, 190 secs
lola: 4408123 markings, 5277721 edges, 25304 markings/sec, 195 secs
lola: 4536986 markings, 5428832 edges, 25773 markings/sec, 200 secs
lola: 4664461 markings, 5579721 edges, 25495 markings/sec, 205 secs
lola: 4790861 markings, 5727873 edges, 25280 markings/sec, 210 secs
lola: 4916449 markings, 5877344 edges, 25118 markings/sec, 215 secs
lola: 5044066 markings, 6027868 edges, 25523 markings/sec, 220 secs
lola: 5171709 markings, 6179934 edges, 25529 markings/sec, 225 secs
lola: 5297904 markings, 6329852 edges, 25239 markings/sec, 230 secs
lola: 5424197 markings, 6479535 edges, 25259 markings/sec, 235 secs
lola: 5546966 markings, 6625303 edges, 24554 markings/sec, 240 secs
lola: 5672268 markings, 6774214 edges, 25060 markings/sec, 245 secs
lola: 5799680 markings, 6926810 edges, 25482 markings/sec, 250 secs
lola: 5925793 markings, 7075074 edges, 25223 markings/sec, 255 secs
lola: 6050201 markings, 7222951 edges, 24882 markings/sec, 260 secs
lola: 6178413 markings, 7374339 edges, 25642 markings/sec, 265 secs
lola: 6303781 markings, 7523060 edges, 25074 markings/sec, 270 secs
lola: 6429958 markings, 7671130 edges, 25235 markings/sec, 275 secs
lola: 6555285 markings, 7823252 edges, 25065 markings/sec, 280 secs
lola: 6680636 markings, 7974119 edges, 25070 markings/sec, 285 secs
lola: 6805682 markings, 8125094 edges, 25009 markings/sec, 290 secs
lola: 6931335 markings, 8275557 edges, 25131 markings/sec, 295 secs
lola: 7055505 markings, 8424667 edges, 24834 markings/sec, 300 secs
lola: 7180628 markings, 8576038 edges, 25025 markings/sec, 305 secs
lola: 7306073 markings, 8725635 edges, 25089 markings/sec, 310 secs
lola: 7431612 markings, 8875318 edges, 25108 markings/sec, 315 secs
lola: 7554276 markings, 9025127 edges, 24533 markings/sec, 320 secs
lola: 7680797 markings, 9178019 edges, 25304 markings/sec, 325 secs
lola: 7802081 markings, 9329933 edges, 24257 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown 1 1 1 unknown unknown
lola: memory consumption: 759660 KB
lola: time consumption: 1550 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 336 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Try_Check_Sources_E_1 + Try_Check_Sources_E_2 + Try_Check_Sources_E_3 + Try_Check_Sources_E_4 + Try_Check_Sources_E_5 + Try_Check_Sources_E_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Try_Check_Sources_E_1 + Try_Check_Sources_E_2 + Try_Check_Sources_E_3 + Try_Check_Sources_E_4 + Try_Check_Sources_E_5 + Try_Check_Sources_E_6)
lola: processed formula length: 146
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J06T06-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

FORMULA PolyORBLF-PT-S02J06T06-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 403 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1160_5 + P_1160_4 + P_1160_3 + P_1160_2 + P_1160_1 + P_1160_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1160_5 + P_1160_4 + P_1160_3 + P_1160_2 + P_1160_1 + P_1160_6)
lola: processed formula length: 68
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J06T06-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: 4
lola: 122973 markings, 145477 edges, 24595 markings/sec, 0 secs
lola: 250988 markings, 298774 edges, 25603 markings/sec, 5 secs
lola: 378535 markings, 451513 edges, 25509 markings/sec, 10 secs
lola: 505714 markings, 603973 edges, 25436 markings/sec, 15 secs
lola: 632369 markings, 757911 edges, 25331 markings/sec, 20 secs
lola: 758783 markings, 910993 edges, 25283 markings/sec, 25 secs
lola: 885146 markings, 1062792 edges, 25273 markings/sec, 30 secs
lola: 1011066 markings, 1214585 edges, 25184 markings/sec, 35 secs
lola: 1136833 markings, 1367140 edges, 25153 markings/sec, 40 secs
lola: 1253651 markings, 1507501 edges, 23364 markings/sec, 45 secs
lola: 1379408 markings, 1659811 edges, 25151 markings/sec, 50 secs
lola: 1505453 markings, 1812162 edges, 25209 markings/sec, 55 secs
lola: 1630951 markings, 1964181 edges, 25100 markings/sec, 60 secs
lola: 1756366 markings, 2116490 edges, 25083 markings/sec, 65 secs
lola: 1882273 markings, 2268366 edges, 25181 markings/sec, 70 secs
lola: 2007720 markings, 2420141 edges, 25089 markings/sec, 75 secs
lola: 2132644 markings, 2572356 edges, 24985 markings/sec, 80 secs
lola: 2257853 markings, 2724271 edges, 25042 markings/sec, 85 secs
lola: 2383595 markings, 2875023 edges, 25148 markings/sec, 90 secs
lola: 2508913 markings, 3025528 edges, 25064 markings/sec, 95 secs
lola: 2634733 markings, 3176037 edges, 25164 markings/sec, 100 secs
lola: 2760368 markings, 3326390 edges, 25127 markings/sec, 105 secs
lola: 2885260 markings, 3477003 edges, 24978 markings/sec, 110 secs
lola: 3011937 markings, 3626605 edges, 25335 markings/sec, 115 secs
lola: 3137835 markings, 3775484 edges, 25180 markings/sec, 120 secs
lola: 3263617 markings, 3924396 edges, 25156 markings/sec, 125 secs
lola: 3388846 markings, 4072528 edges, 25046 markings/sec, 130 secs
lola: 3514569 markings, 4220377 edges, 25145 markings/sec, 135 secs
lola: 3639532 markings, 4368078 edges, 24993 markings/sec, 140 secs
lola: 3764945 markings, 4516141 edges, 25083 markings/sec, 145 secs
lola: 3890353 markings, 4662303 edges, 25082 markings/sec, 150 secs
lola: 4015333 markings, 4807561 edges, 24996 markings/sec, 155 secs
lola: 4140128 markings, 4954522 edges, 24959 markings/sec, 160 secs
lola: 4265513 markings, 5102145 edges, 25077 markings/sec, 165 secs
lola: 4391040 markings, 5248710 edges, 25105 markings/sec, 170 secs
lola: 4516936 markings, 5396485 edges, 25179 markings/sec, 175 secs
lola: 4643761 markings, 5546665 edges, 25365 markings/sec, 180 secs
lola: 4767594 markings, 5693563 edges, 24767 markings/sec, 185 secs
lola: 4891854 markings, 5839372 edges, 24852 markings/sec, 190 secs
lola: 5016240 markings, 5987533 edges, 24877 markings/sec, 195 secs
lola: 5140301 markings, 6133489 edges, 24812 markings/sec, 200 secs
lola: 5264629 markings, 6279276 edges, 24866 markings/sec, 205 secs
lola: 5385036 markings, 6422613 edges, 24081 markings/sec, 210 secs
lola: 5510169 markings, 6571448 edges, 25027 markings/sec, 215 secs
lola: 5634406 markings, 6717676 edges, 24847 markings/sec, 220 secs
lola: 5757096 markings, 6863351 edges, 24538 markings/sec, 225 secs
lola: 5880589 markings, 7011321 edges, 24699 markings/sec, 230 secs
lola: 6002189 markings, 7156235 edges, 24320 markings/sec, 235 secs
lola: 6127108 markings, 7305935 edges, 24984 markings/sec, 240 secs
lola: 6249279 markings, 7451834 edges, 24434 markings/sec, 245 secs
lola: 6374191 markings, 7600838 edges, 24982 markings/sec, 250 secs
lola: 6497638 markings, 7746706 edges, 24689 markings/sec, 255 secs
lola: 6621125 markings, 7894252 edges, 24697 markings/sec, 260 secs
lola: 6743798 markings, 8042609 edges, 24535 markings/sec, 265 secs
lola: 6864371 markings, 8188431 edges, 24115 markings/sec, 270 secs
lola: 6987243 markings, 8336673 edges, 24574 markings/sec, 275 secs
lola: 7109995 markings, 8485100 edges, 24550 markings/sec, 280 secs
lola: 7234885 markings, 8634168 edges, 24978 markings/sec, 285 secs
lola: 7357610 markings, 8782162 edges, 24545 markings/sec, 290 secs
lola: 7479210 markings, 8930218 edges, 24320 markings/sec, 295 secs
lola: 7597205 markings, 9070937 edges, 23599 markings/sec, 300 secs
lola: 7717412 markings, 9217301 edges, 24041 markings/sec, 305 secs
lola: 7833214 markings, 9357546 edges, 23160 markings/sec, 310 secs
lola: 7953475 markings, 9506939 edges, 24052 markings/sec, 315 secs
lola: 8075785 markings, 9656457 edges, 24462 markings/sec, 320 secs
lola: 8199390 markings, 9807162 edges, 24721 markings/sec, 325 secs
lola: 8322642 markings, 9955239 edges, 24650 markings/sec, 330 secs
lola: 8443206 markings, 10100473 edges, 24113 markings/sec, 335 secs
lola: 8565302 markings, 10249434 edges, 24419 markings/sec, 340 secs
lola: 8686818 markings, 10394107 edges, 24303 markings/sec, 345 secs
lola: 8803166 markings, 10537079 edges, 23270 markings/sec, 350 secs
lola: 8922992 markings, 10683446 edges, 23965 markings/sec, 355 secs
lola: 9043661 markings, 10830567 edges, 24134 markings/sec, 360 secs
lola: 9163650 markings, 10976374 edges, 23998 markings/sec, 365 secs
lola: 9285564 markings, 11125144 edges, 24383 markings/sec, 370 secs
lola: 9404897 markings, 11270163 edges, 23867 markings/sec, 375 secs
lola: 9520359 markings, 11408759 edges, 23092 markings/sec, 380 secs
lola: 9642784 markings, 11560932 edges, 24485 markings/sec, 385 secs
lola: 9761671 markings, 11708563 edges, 23777 markings/sec, 390 secs
lola: 9883474 markings, 11862638 edges, 24361 markings/sec, 395 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown 1 unknown unknown unknown unknown unknown 1 1 1 unknown unknown
lola: memory consumption: 935772 KB
lola: time consumption: 1957 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 403 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1724_0 + P_1724_1 + P_1724_2 + P_1724_3 + P_1724_4 + P_1724_5 + P_1724_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1724_0 + P_1724_1 + P_1724_2 + P_1724_3 + P_1724_4 + P_1724_5 + P_1724_6)
lola: processed formula length: 79
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J06T06-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
lola: ========================================

FORMULA PolyORBLF-PT-S02J06T06-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 537 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(DisablePollingE_3_1 + DisablePollingE_3_2 + DisablePollingE_4_1 + DisablePollingE_4_2 + DisablePollingE_5_1 + DisablePollingE_5_2 + DisablePollingE_6_1 + DisablePollingE_6_2 + DisablePollingE_2_2 + DisablePollingE_2_1 + DisablePollingE_1_2 + DisablePollingE_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DisablePollingE_3_1 + DisablePollingE_3_2 + DisablePollingE_4_1 + DisablePollingE_4_2 + DisablePollingE_5_1 + DisablePollingE_5_2 + DisablePollingE_6_1 + DisablePollingE_6_2 + DisablePollingE_2_2 + DisablePollingE_2_1 + DisablePollingE_1_2 + DisablePollingE_1_1)
lola: processed formula length: 266
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J06T06-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 142758 markings, 170244 edges, 28552 markings/sec, 30 secs
lola: 283937 markings, 338814 edges, 28236 markings/sec, 35 secs
lola: 424660 markings, 509706 edges, 28145 markings/sec, 40 secs
lola: 564831 markings, 679290 edges, 28034 markings/sec, 45 secs
lola: 704686 markings, 849817 edges, 27971 markings/sec, 50 secs
lola: 844300 markings, 1019924 edges, 27923 markings/sec, 55 secs
lola: 983511 markings, 1188183 edges, 27842 markings/sec, 60 secs
lola: 1122581 markings, 1356327 edges, 27814 markings/sec, 65 secs
lola: 1261420 markings, 1522911 edges, 27768 markings/sec, 70 secs
lola: 1400099 markings, 1689883 edges, 27736 markings/sec, 75 secs
lola: 1538453 markings, 1855732 edges, 27671 markings/sec, 80 secs
lola: 1676473 markings, 2022143 edges, 27604 markings/sec, 85 secs
lola: 1814411 markings, 2188879 edges, 27588 markings/sec, 90 secs
lola: 1951833 markings, 2356304 edges, 27484 markings/sec, 95 secs
lola: 2089458 markings, 2522565 edges, 27525 markings/sec, 100 secs
lola: 2227021 markings, 2690929 edges, 27513 markings/sec, 105 secs
lola: 2364217 markings, 2857163 edges, 27439 markings/sec, 110 secs
lola: 2501333 markings, 3022989 edges, 27423 markings/sec, 115 secs
lola: 2636575 markings, 3186914 edges, 27048 markings/sec, 120 secs
lola: 2771675 markings, 3350547 edges, 27020 markings/sec, 125 secs
lola: 2906155 markings, 3511306 edges, 26896 markings/sec, 130 secs
lola: 3040311 markings, 3670203 edges, 26831 markings/sec, 135 secs
lola: 3174200 markings, 3831865 edges, 26778 markings/sec, 140 secs
lola: 3308035 markings, 3991404 edges, 26767 markings/sec, 145 secs
lola: 3441347 markings, 4149665 edges, 26662 markings/sec, 150 secs
lola: 3574442 markings, 4308868 edges, 26619 markings/sec, 155 secs
lola: 3707358 markings, 4466660 edges, 26583 markings/sec, 160 secs
lola: 3839055 markings, 4622401 edges, 26339 markings/sec, 165 secs
lola: 3970624 markings, 4777225 edges, 26314 markings/sec, 170 secs
lola: 4100331 markings, 4932577 edges, 25941 markings/sec, 175 secs
lola: 4231490 markings, 5088386 edges, 26232 markings/sec, 180 secs
lola: 4362765 markings, 5243301 edges, 26255 markings/sec, 185 secs
lola: 4493325 markings, 5396906 edges, 26112 markings/sec, 190 secs
lola: 4624136 markings, 5549673 edges, 26162 markings/sec, 195 secs
lola: 4754942 markings, 5702399 edges, 26161 markings/sec, 200 secs
lola: 4883962 markings, 5854784 edges, 25804 markings/sec, 205 secs
lola: 5012611 markings, 6004500 edges, 25730 markings/sec, 210 secs
lola: 5140867 markings, 6158901 edges, 25651 markings/sec, 215 secs
lola: 5269722 markings, 6310216 edges, 25771 markings/sec, 220 secs
lola: 5398924 markings, 6460357 edges, 25840 markings/sec, 225 secs
lola: 5527844 markings, 6610630 edges, 25784 markings/sec, 230 secs
lola: 5653868 markings, 6761019 edges, 25205 markings/sec, 235 secs
lola: 5781093 markings, 6911350 edges, 25445 markings/sec, 240 secs
lola: 5909979 markings, 7061371 edges, 25777 markings/sec, 245 secs
lola: 6034970 markings, 7212776 edges, 24998 markings/sec, 250 secs
lola: 6161710 markings, 7362795 edges, 25348 markings/sec, 255 secs
lola: 6289307 markings, 7514985 edges, 25519 markings/sec, 260 secs
lola: 6415849 markings, 7662995 edges, 25308 markings/sec, 265 secs
lola: 6540839 markings, 7813064 edges, 24998 markings/sec, 270 secs
lola: 6666673 markings, 7959734 edges, 25167 markings/sec, 275 secs
lola: 6791185 markings, 8110092 edges, 24902 markings/sec, 280 secs
lola: 6918480 markings, 8259723 edges, 25459 markings/sec, 285 secs
lola: 7043760 markings, 8409004 edges, 25056 markings/sec, 290 secs
lola: 7164086 markings, 8555201 edges, 24065 markings/sec, 295 secs
lola: 7290579 markings, 8708501 edges, 25299 markings/sec, 300 secs
lola: 7415044 markings, 8855801 edges, 24893 markings/sec, 305 secs
lola: 7537289 markings, 9005148 edges, 24449 markings/sec, 310 secs
lola: 7658808 markings, 9151040 edges, 24304 markings/sec, 315 secs
lola: 7782571 markings, 9303282 edges, 24753 markings/sec, 320 secs
lola: 7909829 markings, 9458810 edges, 25452 markings/sec, 325 secs
lola: 8036696 markings, 9605590 edges, 25373 markings/sec, 330 secs
lola: 8161131 markings, 9755253 edges, 24887 markings/sec, 335 secs
lola: 8287827 markings, 9909810 edges, 25339 markings/sec, 340 secs
lola: 8413795 markings, 10067833 edges, 25194 markings/sec, 345 secs
lola: 8537806 markings, 10224216 edges, 24802 markings/sec, 350 secs
lola: 8660883 markings, 10370426 edges, 24615 markings/sec, 355 secs
lola: 8783976 markings, 10523202 edges, 24619 markings/sec, 360 secs
lola: 8909670 markings, 10673188 edges, 25139 markings/sec, 365 secs
lola: 9030943 markings, 10824298 edges, 24255 markings/sec, 370 secs
lola: 9152747 markings, 10983167 edges, 24361 markings/sec, 375 secs
lola: 9276433 markings, 11140343 edges, 24737 markings/sec, 380 secs
lola: 9399187 markings, 11290231 edges, 24551 markings/sec, 385 secs
lola: 9522698 markings, 11442839 edges, 24702 markings/sec, 390 secs
lola: 9649994 markings, 11599168 edges, 25459 markings/sec, 395 secs
lola: 9780225 markings, 11760508 edges, 26046 markings/sec, 400 secs
lola: 9902048 markings, 11911210 edges, 24365 markings/sec, 405 secs
lola: 10021819 markings, 12060532 edges, 23954 markings/sec, 410 secs
lola: 10144566 markings, 12209922 edges, 24549 markings/sec, 415 secs
lola: 10270592 markings, 12359641 edges, 25205 markings/sec, 420 secs
lola: 10394509 markings, 12512848 edges, 24783 markings/sec, 425 secs
lola: 10513668 markings, 12657824 edges, 23832 markings/sec, 430 secs
lola: 10638038 markings, 12810071 edges, 24874 markings/sec, 435 secs
lola: 10760881 markings, 12965180 edges, 24569 markings/sec, 440 secs
lola: 10882344 markings, 13119491 edges, 24293 markings/sec, 445 secs
lola: 11003571 markings, 13272089 edges, 24245 markings/sec, 450 secs
lola: 11124190 markings, 13422185 edges, 24124 markings/sec, 455 secs
lola: 11245413 markings, 13569045 edges, 24245 markings/sec, 460 secs
lola: 11368092 markings, 13721751 edges, 24536 markings/sec, 465 secs
lola: 11493342 markings, 13871311 edges, 25050 markings/sec, 470 secs
lola: 11612139 markings, 14015340 edges, 23759 markings/sec, 475 secs
lola: 11737113 markings, 14164391 edges, 24995 markings/sec, 480 secs
lola: 11859928 markings, 14315866 edges, 24563 markings/sec, 485 secs
lola: 11982989 markings, 14471418 edges, 24612 markings/sec, 490 secs
lola: 12108489 markings, 14624860 edges, 25100 markings/sec, 495 secs
lola: 12232221 markings, 14782686 edges, 24746 markings/sec, 500 secs
lola: 12354910 markings, 14942448 edges, 24538 markings/sec, 505 secs
lola: 12473821 markings, 15090283 edges, 23782 markings/sec, 510 secs
lola: 12597590 markings, 15242016 edges, 24754 markings/sec, 515 secs
lola: 12722554 markings, 15401990 edges, 24993 markings/sec, 520 secs
lola: 12845659 markings, 15560360 edges, 24621 markings/sec, 525 secs
lola: 12970212 markings, 15712398 edges, 24911 markings/sec, 530 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown 1 unknown 1 unknown unknown unknown 1 1 1 unknown unknown
lola: memory consumption: 1206864 KB
lola: time consumption: 2495 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 537 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_1_1 + CreatedJobs_1_2 + CreatedJobs_2_1 + CreatedJobs_2_2 + CreatedJobs_3_1 + CreatedJobs_3_2 + CreatedJobs_4_1 + CreatedJobs_4_2 + CreatedJobs_5_1 + CreatedJobs_5_2 + CreatedJobs_6_1 + CreatedJobs_6_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_1_1 + CreatedJobs_1_2 + CreatedJobs_2_1 + CreatedJobs_2_2 + CreatedJobs_3_1 + CreatedJobs_3_2 + CreatedJobs_4_1 + CreatedJobs_4_2 + CreatedJobs_5_1 + CreatedJobs_5_2 + CreatedJobs_6_1 + CreatedJobs_6_2)
lola: processed formula length: 254
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J06T06-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 136582 markings, 162846 edges, 27316 markings/sec, 30 secs
lola: 271838 markings, 325301 edges, 27051 markings/sec, 35 secs
lola: 400759 markings, 480902 edges, 25784 markings/sec, 40 secs
lola: 535126 markings, 643563 edges, 26873 markings/sec, 45 secs
lola: 669158 markings, 806284 edges, 26806 markings/sec, 50 secs
lola: 802513 markings, 968535 edges, 26671 markings/sec, 55 secs
lola: 935552 markings, 1131150 edges, 26608 markings/sec, 60 secs
lola: 1068386 markings, 1293138 edges, 26567 markings/sec, 65 secs
lola: 1201320 markings, 1455234 edges, 26587 markings/sec, 70 secs
lola: 1334160 markings, 1615956 edges, 26568 markings/sec, 75 secs
lola: 1465960 markings, 1775579 edges, 26360 markings/sec, 80 secs
lola: 1597548 markings, 1935023 edges, 26318 markings/sec, 85 secs
lola: 1728817 markings, 2094552 edges, 26254 markings/sec, 90 secs
lola: 1860399 markings, 2253468 edges, 26316 markings/sec, 95 secs
lola: 1991461 markings, 2412395 edges, 26212 markings/sec, 100 secs
lola: 2122916 markings, 2571765 edges, 26291 markings/sec, 105 secs
lola: 2254857 markings, 2731303 edges, 26388 markings/sec, 110 secs
lola: 2386525 markings, 2890728 edges, 26334 markings/sec, 115 secs
lola: 2517640 markings, 3050808 edges, 26223 markings/sec, 120 secs
lola: 2649145 markings, 3211055 edges, 26301 markings/sec, 125 secs
lola: 2780071 markings, 3369730 edges, 26185 markings/sec, 130 secs
lola: 2911219 markings, 3528123 edges, 26230 markings/sec, 135 secs
lola: 3043041 markings, 3686800 edges, 26364 markings/sec, 140 secs
lola: 3174238 markings, 3843951 edges, 26239 markings/sec, 145 secs
lola: 3306254 markings, 4002290 edges, 26403 markings/sec, 150 secs
lola: 3436954 markings, 4158431 edges, 26140 markings/sec, 155 secs
lola: 3567348 markings, 4313590 edges, 26079 markings/sec, 160 secs
lola: 3698077 markings, 4467533 edges, 26146 markings/sec, 165 secs
lola: 3828083 markings, 4622357 edges, 26001 markings/sec, 170 secs
lola: 3958431 markings, 4775748 edges, 26070 markings/sec, 175 secs
lola: 4089325 markings, 4930375 edges, 26179 markings/sec, 180 secs
lola: 4219292 markings, 5083332 edges, 25993 markings/sec, 185 secs
lola: 4349141 markings, 5238328 edges, 25970 markings/sec, 190 secs
lola: 4480738 markings, 5395848 edges, 26319 markings/sec, 195 secs
lola: 4610421 markings, 5549071 edges, 25937 markings/sec, 200 secs
lola: 4737803 markings, 5702129 edges, 25476 markings/sec, 205 secs
lola: 4865421 markings, 5855488 edges, 25524 markings/sec, 210 secs
lola: 4991028 markings, 6006810 edges, 25121 markings/sec, 215 secs
lola: 5118251 markings, 6160626 edges, 25445 markings/sec, 220 secs
lola: 5244416 markings, 6311486 edges, 25233 markings/sec, 225 secs
lola: 5372431 markings, 6463092 edges, 25603 markings/sec, 230 secs
lola: 5500014 markings, 6614208 edges, 25517 markings/sec, 235 secs
lola: 5626324 markings, 6763944 edges, 25262 markings/sec, 240 secs
lola: 5751489 markings, 6913017 edges, 25033 markings/sec, 245 secs
lola: 5877315 markings, 7063029 edges, 25165 markings/sec, 250 secs
lola: 5997978 markings, 7206322 edges, 24133 markings/sec, 255 secs
lola: 6122547 markings, 7354373 edges, 24914 markings/sec, 260 secs
lola: 6249104 markings, 7506400 edges, 25311 markings/sec, 265 secs
lola: 6371068 markings, 7652322 edges, 24393 markings/sec, 270 secs
lola: 6496728 markings, 7801960 edges, 25132 markings/sec, 275 secs
lola: 6621026 markings, 7954429 edges, 24860 markings/sec, 280 secs
lola: 6745464 markings, 8102747 edges, 24888 markings/sec, 285 secs
lola: 6862239 markings, 8242600 edges, 23355 markings/sec, 290 secs
lola: 6982694 markings, 8388756 edges, 24091 markings/sec, 295 secs
lola: 7108455 markings, 8540847 edges, 25152 markings/sec, 300 secs
lola: 7234037 markings, 8688322 edges, 25116 markings/sec, 305 secs
lola: 7358884 markings, 8837233 edges, 24969 markings/sec, 310 secs
lola: 7483135 markings, 8989533 edges, 24850 markings/sec, 315 secs
lola: 7612230 markings, 9140952 edges, 25819 markings/sec, 320 secs
lola: 7732229 markings, 9288623 edges, 24000 markings/sec, 325 secs
lola: 7854499 markings, 9438074 edges, 24454 markings/sec, 330 secs
lola: 7976536 markings, 9590615 edges, 24407 markings/sec, 335 secs
lola: 8097752 markings, 9742831 edges, 24243 markings/sec, 340 secs
lola: 8217970 markings, 9886809 edges, 24044 markings/sec, 345 secs
lola: 8341231 markings, 10037626 edges, 24652 markings/sec, 350 secs
lola: 8463666 markings, 10192545 edges, 24487 markings/sec, 355 secs
lola: 8584627 markings, 10339823 edges, 24192 markings/sec, 360 secs
lola: 8707924 markings, 10495317 edges, 24659 markings/sec, 365 secs
lola: 8823761 markings, 10631735 edges, 23167 markings/sec, 370 secs
lola: 8947101 markings, 10780310 edges, 24668 markings/sec, 375 secs
lola: 9063485 markings, 10921971 edges, 23277 markings/sec, 380 secs
lola: 9181032 markings, 11066404 edges, 23509 markings/sec, 385 secs
lola: 9297247 markings, 11210498 edges, 23243 markings/sec, 390 secs
lola: 9418114 markings, 11359991 edges, 24173 markings/sec, 395 secs
lola: 9536928 markings, 11503679 edges, 23763 markings/sec, 400 secs
lola: 9659268 markings, 11654633 edges, 24468 markings/sec, 405 secs
lola: 9783285 markings, 11807447 edges, 24803 markings/sec, 410 secs
lola: 9902740 markings, 11951232 edges, 23891 markings/sec, 415 secs
lola: 10024353 markings, 12097608 edges, 24323 markings/sec, 420 secs
lola: 10141363 markings, 12236490 edges, 23402 markings/sec, 425 secs
lola: 10261960 markings, 12390346 edges, 24119 markings/sec, 430 secs
lola: 10384226 markings, 12539381 edges, 24453 markings/sec, 435 secs
lola: 10505346 markings, 12694202 edges, 24224 markings/sec, 440 secs
lola: 10625519 markings, 12838429 edges, 24035 markings/sec, 445 secs
lola: 10745276 markings, 12991407 edges, 23951 markings/sec, 450 secs
lola: 10863353 markings, 13134516 edges, 23615 markings/sec, 455 secs
lola: 10983159 markings, 13277786 edges, 23961 markings/sec, 460 secs
lola: 11104614 markings, 13426104 edges, 24291 markings/sec, 465 secs
lola: 11225929 markings, 13577273 edges, 24263 markings/sec, 470 secs
lola: 11345141 markings, 13730984 edges, 23842 markings/sec, 475 secs
lola: 11465868 markings, 13882078 edges, 24145 markings/sec, 480 secs
lola: 11583291 markings, 14022867 edges, 23485 markings/sec, 485 secs
lola: 11701407 markings, 14168761 edges, 23623 markings/sec, 490 secs
lola: 11820212 markings, 14312093 edges, 23761 markings/sec, 495 secs
lola: 11938981 markings, 14456889 edges, 23754 markings/sec, 500 secs
lola: 12059067 markings, 14604235 edges, 24017 markings/sec, 505 secs
lola: 12181330 markings, 14759440 edges, 24453 markings/sec, 510 secs
lola: 12297582 markings, 14900508 edges, 23250 markings/sec, 515 secs
lola: 12414551 markings, 15043076 edges, 23394 markings/sec, 520 secs
lola: 12536448 markings, 15192351 edges, 24379 markings/sec, 525 secs
lola: 12651948 markings, 15331492 edges, 23100 markings/sec, 530 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown 1 unknown 1 unknown unknown unknown 1 1 1 unknown unknown
lola: memory consumption: 1160648 KB
lola: time consumption: 3032 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 537 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_2_0 + FetchJobE_2_1 + FetchJobE_2_2 + FetchJobE_2_3 + FetchJobE_2_4 + FetchJobE_2_5 + FetchJobE_2_6 + FetchJobE_3_0 + FetchJobE_3_1 + FetchJobE_3_2 + FetchJobE_3_3 + FetchJobE_3_4 + FetchJobE_3_5 + FetchJobE_3_6 + FetchJobE_4_0 + FetchJobE_4_1 + FetchJobE_4_2 + FetchJobE_4_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_2_0 + FetchJobE_2_1 + FetchJobE_2_2 + FetchJobE_2_3 + FetchJobE_2_4 + FetchJobE_2_5 + FetchJobE_2_6 + FetchJobE_3_0 + FetchJobE_3_1 + FetchJobE_3_2 + FetchJobE_3_3 + FetchJobE_3_4 + FetchJobE_3_5 + FetchJobE_3_6 + FetchJobE_4_0 + FetchJobE_4_1 + FetchJobE_4_2 + FetchJobE_4_... (shortened)
lola: processed formula length: 674
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J06T06-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 126705 markings, 153757 edges, 25341 markings/sec, 30 secs
lola: 252580 markings, 305565 edges, 25175 markings/sec, 35 secs
lola: 377607 markings, 458929 edges, 25005 markings/sec, 40 secs
lola: 502113 markings, 611664 edges, 24901 markings/sec, 45 secs
lola: 626814 markings, 762165 edges, 24940 markings/sec, 50 secs
lola: 751874 markings, 913584 edges, 25012 markings/sec, 55 secs
lola: 875763 markings, 1066877 edges, 24778 markings/sec, 60 secs
lola: 999758 markings, 1217774 edges, 24799 markings/sec, 65 secs
lola: 1122916 markings, 1369653 edges, 24632 markings/sec, 70 secs
lola: 1245847 markings, 1522612 edges, 24586 markings/sec, 75 secs
lola: 1368777 markings, 1675186 edges, 24586 markings/sec, 80 secs
lola: 1491825 markings, 1825800 edges, 24610 markings/sec, 85 secs
lola: 1615080 markings, 1977361 edges, 24651 markings/sec, 90 secs
lola: 1737981 markings, 2128443 edges, 24580 markings/sec, 95 secs
lola: 1860297 markings, 2280325 edges, 24463 markings/sec, 100 secs
lola: 1983431 markings, 2430359 edges, 24627 markings/sec, 105 secs
lola: 2105849 markings, 2581708 edges, 24484 markings/sec, 110 secs
lola: 2228486 markings, 2732632 edges, 24527 markings/sec, 115 secs
lola: 2351065 markings, 2884055 edges, 24516 markings/sec, 120 secs
lola: 2473320 markings, 3036561 edges, 24451 markings/sec, 125 secs
lola: 2595845 markings, 3187636 edges, 24505 markings/sec, 130 secs
lola: 2717738 markings, 3338368 edges, 24379 markings/sec, 135 secs
lola: 2840013 markings, 3489709 edges, 24455 markings/sec, 140 secs
lola: 2961889 markings, 3641077 edges, 24375 markings/sec, 145 secs
lola: 3083639 markings, 3792817 edges, 24350 markings/sec, 150 secs
lola: 3204810 markings, 3944191 edges, 24234 markings/sec, 155 secs
lola: 3326384 markings, 4096670 edges, 24315 markings/sec, 160 secs
lola: 3447782 markings, 4248632 edges, 24280 markings/sec, 165 secs
lola: 3568637 markings, 4401099 edges, 24171 markings/sec, 170 secs
lola: 3690071 markings, 4552676 edges, 24287 markings/sec, 175 secs
lola: 3811767 markings, 4703370 edges, 24339 markings/sec, 180 secs
lola: 3932330 markings, 4856022 edges, 24113 markings/sec, 185 secs
lola: 4053551 markings, 5006839 edges, 24244 markings/sec, 190 secs
lola: 4175035 markings, 5157656 edges, 24297 markings/sec, 195 secs
lola: 4296627 markings, 5308839 edges, 24318 markings/sec, 200 secs
lola: 4417618 markings, 5461008 edges, 24198 markings/sec, 205 secs
lola: 4537563 markings, 5613016 edges, 23989 markings/sec, 210 secs
lola: 4658804 markings, 5764240 edges, 24248 markings/sec, 215 secs
lola: 4779502 markings, 5915508 edges, 24140 markings/sec, 220 secs
lola: 4900138 markings, 6066668 edges, 24127 markings/sec, 225 secs
lola: 5020934 markings, 6217759 edges, 24159 markings/sec, 230 secs
lola: 5141733 markings, 6368240 edges, 24160 markings/sec, 235 secs
lola: 5262957 markings, 6517875 edges, 24245 markings/sec, 240 secs
lola: 5383223 markings, 6669369 edges, 24053 markings/sec, 245 secs
lola: 5503560 markings, 6821383 edges, 24067 markings/sec, 250 secs
lola: 5622835 markings, 6971432 edges, 23855 markings/sec, 255 secs
lola: 5742519 markings, 7121182 edges, 23937 markings/sec, 260 secs
lola: 5862441 markings, 7272410 edges, 23984 markings/sec, 265 secs
lola: 5982448 markings, 7423076 edges, 24001 markings/sec, 270 secs
lola: 6103625 markings, 7573804 edges, 24235 markings/sec, 275 secs
lola: 6224928 markings, 7725103 edges, 24261 markings/sec, 280 secs
lola: 6345711 markings, 7875880 edges, 24157 markings/sec, 285 secs
lola: 6465621 markings, 8029414 edges, 23982 markings/sec, 290 secs
lola: 6585613 markings, 8179215 edges, 23998 markings/sec, 295 secs
lola: 6704965 markings, 8328377 edges, 23870 markings/sec, 300 secs
lola: 6820879 markings, 8472063 edges, 23183 markings/sec, 305 secs
lola: 6936782 markings, 8614114 edges, 23181 markings/sec, 310 secs
lola: 7051644 markings, 8754647 edges, 22972 markings/sec, 315 secs
lola: 7171296 markings, 8905569 edges, 23930 markings/sec, 320 secs
lola: 7291582 markings, 9055807 edges, 24057 markings/sec, 325 secs
lola: 7411111 markings, 9205212 edges, 23906 markings/sec, 330 secs
lola: 7530791 markings, 9351771 edges, 23936 markings/sec, 335 secs
lola: 7651551 markings, 9500594 edges, 24152 markings/sec, 340 secs
lola: 7772160 markings, 9648372 edges, 24122 markings/sec, 345 secs
lola: 7891974 markings, 9794595 edges, 23963 markings/sec, 350 secs
lola: 8011543 markings, 9942128 edges, 23914 markings/sec, 355 secs
lola: 8130775 markings, 10090127 edges, 23846 markings/sec, 360 secs
lola: 8250241 markings, 10240463 edges, 23893 markings/sec, 365 secs
lola: 8369959 markings, 10386070 edges, 23944 markings/sec, 370 secs
lola: 8484895 markings, 10527163 edges, 22987 markings/sec, 375 secs
lola: 8603636 markings, 10671862 edges, 23748 markings/sec, 380 secs
lola: 8724256 markings, 10818612 edges, 24124 markings/sec, 385 secs
lola: 8844236 markings, 10963501 edges, 23996 markings/sec, 390 secs
lola: 8964537 markings, 11110741 edges, 24060 markings/sec, 395 secs
lola: 9084332 markings, 11257128 edges, 23959 markings/sec, 400 secs
lola: 9203367 markings, 11405817 edges, 23807 markings/sec, 405 secs
lola: 9323698 markings, 11554298 edges, 24066 markings/sec, 410 secs
lola: 9442880 markings, 11698139 edges, 23836 markings/sec, 415 secs
lola: 9562226 markings, 11845526 edges, 23869 markings/sec, 420 secs
lola: 9680860 markings, 11991339 edges, 23727 markings/sec, 425 secs
lola: 9799702 markings, 12139163 edges, 23768 markings/sec, 430 secs
lola: 9917544 markings, 12285538 edges, 23568 markings/sec, 435 secs
lola: 10035479 markings, 12429055 edges, 23587 markings/sec, 440 secs
lola: 10153378 markings, 12576571 edges, 23580 markings/sec, 445 secs
lola: 10271825 markings, 12725374 edges, 23689 markings/sec, 450 secs
lola: 10388807 markings, 12872702 edges, 23396 markings/sec, 455 secs
lola: 10506015 markings, 13021289 edges, 23442 markings/sec, 460 secs
lola: 10624105 markings, 13166102 edges, 23618 markings/sec, 465 secs
lola: 10742600 markings, 13316112 edges, 23699 markings/sec, 470 secs
lola: 10860876 markings, 13462640 edges, 23655 markings/sec, 475 secs
lola: 10978049 markings, 13608106 edges, 23435 markings/sec, 480 secs
lola: 11094443 markings, 13756215 edges, 23279 markings/sec, 485 secs
lola: 11211071 markings, 13902335 edges, 23326 markings/sec, 490 secs
lola: 11328826 markings, 14047457 edges, 23551 markings/sec, 495 secs
lola: 11447748 markings, 14193053 edges, 23784 markings/sec, 500 secs
lola: 11564053 markings, 14342496 edges, 23261 markings/sec, 505 secs
lola: 11683137 markings, 14489844 edges, 23817 markings/sec, 510 secs
lola: 11801836 markings, 14635724 edges, 23740 markings/sec, 515 secs
lola: 11921356 markings, 14784163 edges, 23904 markings/sec, 520 secs
lola: 12039518 markings, 14930144 edges, 23632 markings/sec, 525 secs
lola: 12156852 markings, 15078469 edges, 23467 markings/sec, 530 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown 1 unknown 1 unknown unknown unknown 1 1 1 unknown unknown
lola: memory consumption: 1174732 KB
lola: time consumption: 3569 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(AvailableJobId_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AvailableJobId_5)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J06T06-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: time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown 1 unknown 1 unknown unknown unknown 1 1 1 unknown unknown
lola:
preliminary result: 1 1 unknown unknown unknown 1 unknown 1 unknown unknown unknown 1 1 1 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown unknown unknown 1 unknown 1 unknown unknown unknown 1 1 1 unknown unknown
lola: memory consumption: 20372 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 20372 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown unknown unknown 1 unknown 1 unknown unknown unknown 1 1 1 unknown unknown

BK_STOP 1526993465480

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S02J06T06"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S02J06T06.tgz
mv PolyORBLF-PT-S02J06T06 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is PolyORBLF-PT-S02J06T06, 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 r124-smll-152673526900156"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;