Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r088-csrt-155246565800157.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is GlobalResAllocation-COL-05, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-155246565800157
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 4.3K Feb 11 01:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 11 01:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 7 01:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 7 01:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 113 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 351 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 23:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 3 08:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 08:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 31 03:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 31 03:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 28K Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME GlobalResAllocation-COL-05-UpperBounds-00
FORMULA_NAME GlobalResAllocation-COL-05-UpperBounds-01
FORMULA_NAME GlobalResAllocation-COL-05-UpperBounds-02
FORMULA_NAME GlobalResAllocation-COL-05-UpperBounds-03
FORMULA_NAME GlobalResAllocation-COL-05-UpperBounds-04
FORMULA_NAME GlobalResAllocation-COL-05-UpperBounds-05
FORMULA_NAME GlobalResAllocation-COL-05-UpperBounds-06
FORMULA_NAME GlobalResAllocation-COL-05-UpperBounds-07
FORMULA_NAME GlobalResAllocation-COL-05-UpperBounds-08
FORMULA_NAME GlobalResAllocation-COL-05-UpperBounds-09
FORMULA_NAME GlobalResAllocation-COL-05-UpperBounds-10
FORMULA_NAME GlobalResAllocation-COL-05-UpperBounds-11
FORMULA_NAME GlobalResAllocation-COL-05-UpperBounds-12
FORMULA_NAME GlobalResAllocation-COL-05-UpperBounds-13
FORMULA_NAME GlobalResAllocation-COL-05-UpperBounds-14
FORMULA_NAME GlobalResAllocation-COL-05-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552866970747

info: Time: 3600 - MCC
===========================================================================================
prep: translating GlobalResAllocation-COL-05 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating GlobalResAllocation-COL-05 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ GlobalResAllocation-COL-05 @ 3464 seconds
lola: LoLA will run for 3464 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 56180/65536 symbol table entries, 38797 collisions
lola: preprocessing...
lola: Size of bit vector: 2400
lola: finding significant places
lola: 75 places, 56105 transitions, 55 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2220 transition conflict sets
lola: TASK
lola: reading formula from GlobalResAllocation-COL-05-UpperBounds.task
lola: MAX(p63 + p62 + p61 + p60 + p59 + p58 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p57 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p56 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p54 + p44 + p34 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74) : MAX(p63 + p62 + p61 + p60 + p59 + p58 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p57 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p56 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p54 + p44 + p34 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74) : MAX(p24 + p23 + p22 + p21 + p20) : MAX(p0 + p1 + p2 + p3 + p4) : MAX(p5 + p6 + p7 + p8 + p9) : MAX(p5 + p6 + p7 + p8 + p9) : MAX(p24 + p23 + p22 + p21 + p20) : MAX(p0 + p1 + p2 + p3 + p4) : MAX(p63 + p62 + p61 + p60 + p59 + p58 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p57 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p56 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p54 + p44 + p34 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74) : MAX(p63 + p62 + p61 + p60 + p59 + p58 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p57 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p56 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p54 + p44 + p34 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74) : MAX(p0 + p1 + p2 + p3 + p4) : MAX(p24 + p23 + p22 + p21 + p20) : MAX(p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19) : MAX(p0 + p1 + p2 + p3 + p4) : MAX(p63 + p62 + p61 + p60 + p59 + p58 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p57 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p56 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p54 + p44 + p34 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74) : MAX(p24 + p23 + p22 + p21 + p20)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p24 + p23 + p22 + p21 + p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p24 + p23 + p22 + p21 + p20)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 207 markings, 280 edges, 41 markings/sec, 30 secs
lola: 591 markings, 822 edges, 77 markings/sec, 35 secs
lola: 1045 markings, 1453 edges, 91 markings/sec, 40 secs
lola: 1489 markings, 2109 edges, 89 markings/sec, 45 secs
lola: 1978 markings, 2802 edges, 98 markings/sec, 50 secs
lola: 2444 markings, 3450 edges, 93 markings/sec, 55 secs
lola: 2887 markings, 4133 edges, 89 markings/sec, 60 secs
lola: 3485 markings, 5103 edges, 120 markings/sec, 65 secs
lola: 4058 markings, 6018 edges, 115 markings/sec, 70 secs
lola: 4528 markings, 6809 edges, 94 markings/sec, 75 secs
lola: 5154 markings, 7872 edges, 125 markings/sec, 80 secs
lola: 5703 markings, 8814 edges, 110 markings/sec, 85 secs
lola: 6247 markings, 9730 edges, 109 markings/sec, 90 secs
lola: 6859 markings, 10821 edges, 122 markings/sec, 95 secs
lola: 7525 markings, 11995 edges, 133 markings/sec, 100 secs
lola: 8062 markings, 12838 edges, 107 markings/sec, 105 secs
lola: 8628 markings, 13696 edges, 113 markings/sec, 110 secs
lola: 9244 markings, 14788 edges, 123 markings/sec, 115 secs
lola: 9830 markings, 15869 edges, 117 markings/sec, 120 secs
lola: 10372 markings, 16779 edges, 108 markings/sec, 125 secs
lola: 10942 markings, 17683 edges, 114 markings/sec, 130 secs
lola: 11496 markings, 18632 edges, 111 markings/sec, 135 secs
lola: 12133 markings, 19815 edges, 127 markings/sec, 140 secs
lola: 12657 markings, 20690 edges, 105 markings/sec, 145 secs
lola: 13249 markings, 21751 edges, 118 markings/sec, 150 secs
lola: 13790 markings, 22814 edges, 108 markings/sec, 155 secs
lola: 14297 markings, 23731 edges, 101 markings/sec, 160 secs
lola: 14994 markings, 25121 edges, 139 markings/sec, 165 secs
lola: 15591 markings, 26139 edges, 119 markings/sec, 170 secs
lola: 16203 markings, 27066 edges, 122 markings/sec, 175 secs
lola: 16761 markings, 28201 edges, 112 markings/sec, 180 secs
lola: 17333 markings, 29293 edges, 114 markings/sec, 185 secs
lola: 17887 markings, 30294 edges, 111 markings/sec, 190 secs
lola: 18490 markings, 31546 edges, 121 markings/sec, 195 secs
lola: 19151 markings, 32892 edges, 132 markings/sec, 200 secs
lola: 19797 markings, 34220 edges, 129 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 918984 KB
lola: time consumption: 269 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4)
lola: processed formula length: 27
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 15 markings, 14 edges
lola: ========================================
check_solution: Constraint R7 = 0 is above its equality of -1
check_solution: Constraint R8 = 0 is above its equality of -1
check_solution: Constraint R9 = 0 is above its equality of -1
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R11 = 0 is above its equality of -1
check_solution: Constraint R12 = 0 is above its equality of -1
check_solution: Constraint R13 = 0 is above its equality of -1
check_solution: Constraint R14 = 0 is above its equality of -1
check_solution: Constraint R15 = 0 is above its equality of -1
check_solution: Constraint R16 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 1)

FORMULA GlobalResAllocation-COL-05-UpperBounds-3 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 228 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5 + p6 + p7 + p8 + p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5 + p6 + p7 + p8 + p9)
lola: processed formula length: 27
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-05-UpperBounds-4 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 245 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5 + p6 + p7 + p8 + p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5 + p6 + p7 + p8 + p9)
lola: processed formula length: 27
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-05-UpperBounds-5 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 266 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p24 + p23 + p22 + p21 + p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p24 + p23 + p22 + p21 + p20)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 230 markings, 315 edges, 46 markings/sec, 30 secs
lola: 644 markings, 904 edges, 83 markings/sec, 35 secs
lola: 1081 markings, 1506 edges, 87 markings/sec, 40 secs
lola: 1570 markings, 2228 edges, 98 markings/sec, 45 secs
lola: 2066 markings, 2924 edges, 99 markings/sec, 50 secs
lola: 2538 markings, 3591 edges, 94 markings/sec, 55 secs
lola: 3031 markings, 4359 edges, 99 markings/sec, 60 secs
lola: 3675 markings, 5420 edges, 129 markings/sec, 65 secs
lola: 4185 markings, 6239 edges, 102 markings/sec, 70 secs
lola: 4681 markings, 7053 edges, 99 markings/sec, 75 secs
lola: 5336 markings, 8181 edges, 131 markings/sec, 80 secs
lola: 5834 markings, 9005 edges, 100 markings/sec, 85 secs
lola: 6374 markings, 9935 edges, 108 markings/sec, 90 secs
lola: 7024 markings, 11108 edges, 130 markings/sec, 95 secs
lola: 7658 markings, 12230 edges, 127 markings/sec, 100 secs
lola: 8219 markings, 13063 edges, 112 markings/sec, 105 secs
lola: 8796 markings, 13999 edges, 115 markings/sec, 110 secs
lola: 9409 markings, 15086 edges, 123 markings/sec, 115 secs
lola: 10074 markings, 16291 edges, 133 markings/sec, 120 secs
lola: 10605 markings, 17113 edges, 106 markings/sec, 125 secs
lola: 11140 markings, 18021 edges, 107 markings/sec, 130 secs
lola: 11685 markings, 18996 edges, 109 markings/sec, 135 secs
lola: 12331 markings, 20119 edges, 129 markings/sec, 140 secs
lola: 12919 markings, 21197 edges, 118 markings/sec, 145 secs
lola: 13466 markings, 22189 edges, 109 markings/sec, 150 secs
lola: 13956 markings, 23060 edges, 98 markings/sec, 155 secs
lola: 14624 markings, 24453 edges, 134 markings/sec, 160 secs
lola: 15290 markings, 25638 edges, 133 markings/sec, 165 secs
lola: 15871 markings, 26548 edges, 116 markings/sec, 170 secs
lola: 16470 markings, 27642 edges, 120 markings/sec, 175 secs
lola: 17011 markings, 28692 edges, 108 markings/sec, 180 secs
lola: 17618 markings, 29782 edges, 121 markings/sec, 185 secs
lola: 18193 markings, 30930 edges, 115 markings/sec, 190 secs
lola: 18854 markings, 32315 edges, 132 markings/sec, 195 secs
lola: 19521 markings, 33628 edges, 133 markings/sec, 200 secs
lola: 20193 markings, 35081 edges, 134 markings/sec, 205 secs
lola: 20842 markings, 36360 edges, 130 markings/sec, 210 secs
lola: 21482 markings, 37499 edges, 128 markings/sec, 215 secs
lola: 22119 markings, 38711 edges, 127 markings/sec, 220 secs
lola: 22826 markings, 40195 edges, 141 markings/sec, 225 secs
lola: 23495 markings, 41521 edges, 134 markings/sec, 230 secs
lola: 24190 markings, 42932 edges, 139 markings/sec, 235 secs
lola: 24932 markings, 44300 edges, 148 markings/sec, 240 secs
lola: 25679 markings, 45806 edges, 149 markings/sec, 245 secs
lola: 26348 markings, 47035 edges, 134 markings/sec, 250 secs
lola: 27007 markings, 48471 edges, 132 markings/sec, 255 secs
lola: 27681 markings, 49855 edges, 135 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 20 5 5 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 922564 KB
lola: time consumption: 538 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 265 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4)
lola: processed formula length: 27
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 15 markings, 14 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-05-UpperBounds-7 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 292 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4)
lola: processed formula length: 27
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 15 markings, 14 edges

FORMULA GlobalResAllocation-COL-05-UpperBounds-10 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p24 + p23 + p22 + p21 + p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p24 + p23 + p22 + p21 + p20)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 244 markings, 337 edges, 49 markings/sec, 30 secs
lola: 667 markings, 936 edges, 85 markings/sec, 35 secs
lola: 1103 markings, 1544 edges, 87 markings/sec, 40 secs
lola: 1606 markings, 2280 edges, 101 markings/sec, 45 secs
lola: 2085 markings, 2948 edges, 96 markings/sec, 50 secs
lola: 2572 markings, 3637 edges, 97 markings/sec, 55 secs
lola: 3082 markings, 4438 edges, 102 markings/sec, 60 secs
lola: 3742 markings, 5523 edges, 132 markings/sec, 65 secs
lola: 4221 markings, 6316 edges, 96 markings/sec, 70 secs
lola: 4728 markings, 7133 edges, 101 markings/sec, 75 secs
lola: 5374 markings, 8248 edges, 129 markings/sec, 80 secs
lola: 5900 markings, 9124 edges, 105 markings/sec, 85 secs
lola: 6465 markings, 10066 edges, 113 markings/sec, 90 secs
lola: 7131 markings, 11280 edges, 133 markings/sec, 95 secs
lola: 7799 markings, 12463 edges, 134 markings/sec, 100 secs
lola: 8364 markings, 13284 edges, 113 markings/sec, 105 secs
lola: 8972 markings, 14314 edges, 122 markings/sec, 110 secs
lola: 9586 markings, 15445 edges, 123 markings/sec, 115 secs
lola: 10223 markings, 16565 edges, 127 markings/sec, 120 secs
lola: 10828 markings, 17495 edges, 121 markings/sec, 125 secs
lola: 11365 markings, 18405 edges, 107 markings/sec, 130 secs
lola: 11973 markings, 19547 edges, 122 markings/sec, 135 secs
lola: 12572 markings, 20528 edges, 120 markings/sec, 140 secs
lola: 13206 markings, 21681 edges, 127 markings/sec, 145 secs
lola: 13753 markings, 22742 edges, 109 markings/sec, 150 secs
lola: 14284 markings, 23695 edges, 106 markings/sec, 155 secs
lola: 14975 markings, 25092 edges, 138 markings/sec, 160 secs
lola: 15594 markings, 26145 edges, 124 markings/sec, 165 secs
lola: 16180 markings, 27032 edges, 117 markings/sec, 170 secs
lola: 16752 markings, 28182 edges, 114 markings/sec, 175 secs
lola: 17300 markings, 29233 edges, 110 markings/sec, 180 secs
lola: 17887 markings, 30294 edges, 117 markings/sec, 185 secs
lola: 18484 markings, 31515 edges, 119 markings/sec, 190 secs
lola: 19176 markings, 32947 edges, 138 markings/sec, 195 secs
lola: 19831 markings, 34281 edges, 131 markings/sec, 200 secs
lola: 20515 markings, 35626 edges, 137 markings/sec, 205 secs
lola: 21142 markings, 36898 edges, 125 markings/sec, 210 secs
lola: 21774 markings, 38046 edges, 126 markings/sec, 215 secs
lola: 22388 markings, 39302 edges, 123 markings/sec, 220 secs
lola: 23096 markings, 40735 edges, 142 markings/sec, 225 secs
lola: 23707 markings, 41965 edges, 122 markings/sec, 230 secs
lola: 24356 markings, 43248 edges, 130 markings/sec, 235 secs
lola: 25062 markings, 44543 edges, 141 markings/sec, 240 secs
lola: 25823 markings, 46051 edges, 152 markings/sec, 245 secs
lola: 26582 markings, 47627 edges, 152 markings/sec, 250 secs
lola: 27261 markings, 48985 edges, 136 markings/sec, 255 secs
lola: 27879 markings, 50291 edges, 124 markings/sec, 260 secs
lola: 28642 markings, 51676 edges, 153 markings/sec, 265 secs
lola: 29342 markings, 53094 edges, 140 markings/sec, 270 secs
lola: 30039 markings, 54500 edges, 139 markings/sec, 275 secs
lola: 30690 markings, 55710 edges, 130 markings/sec, 280 secs
lola: 31360 markings, 57154 edges, 134 markings/sec, 285 secs
lola: 32063 markings, 58728 edges, 141 markings/sec, 290 secs
lola: 32748 markings, 60095 edges, 137 markings/sec, 295 secs
lola: 33346 markings, 61283 edges, 120 markings/sec, 300 secs
lola: 34015 markings, 62525 edges, 134 markings/sec, 305 secs
lola: 34787 markings, 64019 edges, 154 markings/sec, 310 secs
lola: 35512 markings, 65494 edges, 145 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 20 5 5 unknown 20 unknown unknown 20 unknown unknown unknown unknown unknown
lola: memory consumption: 926468 KB
lola: time consumption: 867 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4)
lola: processed formula length: 27
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 15 markings, 14 edges
lola: ========================================
FORMULA GlobalResAllocation-COL-05-UpperBounds-13 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

lola: subprocess 9 will run for 370 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p24 + p23 + p22 + p21 + p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p24 + p23 + p22 + p21 + p20)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 216 markings, 297 edges, 43 markings/sec, 30 secs
lola: 625 markings, 874 edges, 82 markings/sec, 35 secs
lola: 1081 markings, 1506 edges, 91 markings/sec, 40 secs
lola: 1535 markings, 2174 edges, 91 markings/sec, 45 secs
lola: 2023 markings, 2864 edges, 98 markings/sec, 50 secs
lola: 2481 markings, 3502 edges, 92 markings/sec, 55 secs
lola: 2966 markings, 4265 edges, 97 markings/sec, 60 secs
lola: 3635 markings, 5354 edges, 134 markings/sec, 65 secs
lola: 4152 markings, 6173 edges, 103 markings/sec, 70 secs
lola: 4625 markings, 6970 edges, 95 markings/sec, 75 secs
lola: 5270 markings, 8067 edges, 129 markings/sec, 80 secs
lola: 5834 markings, 9005 edges, 113 markings/sec, 85 secs
lola: 6393 markings, 9964 edges, 112 markings/sec, 90 secs
lola: 7080 markings, 11203 edges, 137 markings/sec, 95 secs
lola: 7728 markings, 12357 edges, 130 markings/sec, 100 secs
lola: 8273 markings, 13138 edges, 109 markings/sec, 105 secs
lola: 8848 markings, 14080 edges, 115 markings/sec, 110 secs
lola: 9442 markings, 15147 edges, 119 markings/sec, 115 secs
lola: 10134 markings, 16412 edges, 138 markings/sec, 120 secs
lola: 10633 markings, 17158 edges, 100 markings/sec, 125 secs
lola: 11154 markings, 18047 edges, 104 markings/sec, 130 secs
lola: 11663 markings, 18956 edges, 102 markings/sec, 135 secs
lola: 12249 markings, 19995 edges, 117 markings/sec, 140 secs
lola: 12761 markings, 20907 edges, 102 markings/sec, 145 secs
lola: 13330 markings, 21888 edges, 114 markings/sec, 150 secs
lola: 13838 markings, 22896 edges, 102 markings/sec, 155 secs
lola: 14320 markings, 23790 edges, 96 markings/sec, 160 secs
lola: 15015 markings, 25156 edges, 139 markings/sec, 165 secs
lola: 15602 markings, 26156 edges, 117 markings/sec, 170 secs
lola: 16152 markings, 26989 edges, 110 markings/sec, 175 secs
lola: 16664 markings, 27985 edges, 102 markings/sec, 180 secs
lola: 17168 markings, 28990 edges, 101 markings/sec, 185 secs
lola: 17769 markings, 30084 edges, 120 markings/sec, 190 secs
lola: 18276 markings, 31125 edges, 101 markings/sec, 195 secs
lola: 18884 markings, 32392 edges, 122 markings/sec, 200 secs
lola: 19532 markings, 33648 edges, 130 markings/sec, 205 secs
lola: 20126 markings, 34956 edges, 119 markings/sec, 210 secs
lola: 20733 markings, 36163 edges, 121 markings/sec, 215 secs
lola: 21287 markings, 37170 edges, 111 markings/sec, 220 secs
lola: 21870 markings, 38247 edges, 117 markings/sec, 225 secs
lola: 22442 markings, 39426 edges, 114 markings/sec, 230 secs
lola: 23091 markings, 40725 edges, 130 markings/sec, 235 secs
lola: 23672 markings, 41876 edges, 116 markings/sec, 240 secs
lola: 24277 markings, 43098 edges, 121 markings/sec, 245 secs
lola: 24918 markings, 44275 edges, 128 markings/sec, 250 secs
lola: 25571 markings, 45569 edges, 131 markings/sec, 255 secs
lola: 26209 markings, 46760 edges, 128 markings/sec, 260 secs
lola: 26821 markings, 48092 edges, 122 markings/sec, 265 secs
lola: 27398 markings, 49317 edges, 115 markings/sec, 270 secs
lola: 27949 markings, 50469 edges, 110 markings/sec, 275 secs
lola: 28567 markings, 51543 edges, 124 markings/sec, 280 secs
lola: 29172 markings, 52765 edges, 121 markings/sec, 285 secs
lola: 29743 markings, 53837 edges, 114 markings/sec, 290 secs
lola: 30309 markings, 54991 edges, 113 markings/sec, 295 secs
lola: 30903 markings, 56135 edges, 119 markings/sec, 300 secs
lola: 31485 markings, 57511 edges, 116 markings/sec, 305 secs
lola: 32070 markings, 58741 edges, 117 markings/sec, 310 secs
lola: 32637 markings, 59898 edges, 113 markings/sec, 315 secs
lola: 33233 markings, 61095 edges, 119 markings/sec, 320 secs
lola: 33767 markings, 62110 edges, 107 markings/sec, 325 secs
lola: 34400 markings, 63199 edges, 127 markings/sec, 330 secs
lola: 35080 markings, 64593 edges, 136 markings/sec, 335 secs
lola: 35731 markings, 65917 edges, 130 markings/sec, 340 secs
lola: 36418 markings, 67335 edges, 137 markings/sec, 345 secs
lola: 37078 markings, 68776 edges, 132 markings/sec, 350 secs
lola: 37694 markings, 70125 edges, 123 markings/sec, 355 secs
lola: 38348 markings, 71653 edges, 131 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 20 5 5 unknown 20 unknown unknown 20 unknown unknown 20 unknown unknown
lola: memory consumption: 927672 KB
lola: time consumption: 1239 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 370 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19)
lola: processed formula length: 62
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola:
========================================FORMULA GlobalResAllocation-COL-05-UpperBounds-12 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

lola: subprocess 11 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p63 + p62 + p61 + p60 + p59 + p58 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p57 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p56 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p54 + p44 + p34 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p63 + p62 + p61 + p60 + p59 + p58 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p57 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p56 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p54 + p44 + p34 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74)
lola: processed formula length: 302
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 195 markings, 266 edges, 39 markings/sec, 30 secs
lola: 541 markings, 755 edges, 69 markings/sec, 35 secs
lola: 910 markings, 1266 edges, 74 markings/sec, 40 secs
lola: 1327 markings, 1861 edges, 83 markings/sec, 45 secs
lola: 1782 markings, 2530 edges, 91 markings/sec, 50 secs
lola: 2241 markings, 3171 edges, 92 markings/sec, 55 secs
lola: 2658 markings, 3764 edges, 83 markings/sec, 60 secs
lola: 3118 markings, 4495 edges, 92 markings/sec, 65 secs
lola: 3699 markings, 5457 edges, 116 markings/sec, 70 secs
lola: 4140 markings, 6148 edges, 88 markings/sec, 75 secs
lola: 4569 markings, 6872 edges, 86 markings/sec, 80 secs
lola: 5084 markings, 7741 edges, 103 markings/sec, 85 secs
lola: 5607 markings, 8659 edges, 105 markings/sec, 90 secs
lola: 6049 markings, 9377 edges, 88 markings/sec, 95 secs
lola: 6603 markings, 10323 edges, 111 markings/sec, 100 secs
lola: 7210 markings, 11413 edges, 121 markings/sec, 105 secs
lola: 7809 markings, 12481 edges, 120 markings/sec, 110 secs
lola: 8336 markings, 13240 edges, 105 markings/sec, 115 secs
lola: 8867 markings, 14116 edges, 106 markings/sec, 120 secs
lola: 9419 markings, 15107 edges, 110 markings/sec, 125 secs
lola: 10051 markings, 16255 edges, 126 markings/sec, 130 secs
lola: 10528 markings, 17003 edges, 95 markings/sec, 135 secs
lola: 11027 markings, 17824 edges, 100 markings/sec, 140 secs
lola: 11555 markings, 18752 edges, 106 markings/sec, 145 secs
lola: 12145 markings, 19829 edges, 118 markings/sec, 150 secs
lola: 12651 markings, 20670 edges, 101 markings/sec, 155 secs
lola: 13237 markings, 21738 edges, 117 markings/sec, 160 secs
lola: 13730 markings, 22706 edges, 99 markings/sec, 165 secs
lola: 14208 markings, 23549 edges, 96 markings/sec, 170 secs
lola: 14825 markings, 24853 edges, 123 markings/sec, 175 secs
lola: 15393 markings, 25824 edges, 114 markings/sec, 180 secs
lola: 15894 markings, 26584 edges, 100 markings/sec, 185 secs
lola: 16384 markings, 27445 edges, 98 markings/sec, 190 secs
lola: 16882 markings, 28447 edges, 100 markings/sec, 195 secs
lola: 17433 markings, 29457 edges, 110 markings/sec, 200 secs
lola: 17909 markings, 30330 edges, 95 markings/sec, 205 secs
lola: 18491 markings, 31548 edges, 116 markings/sec, 210 secs
lola: 19113 markings, 32832 edges, 124 markings/sec, 215 secs
lola: 19664 markings, 33936 edges, 110 markings/sec, 220 secs
lola: 20288 markings, 35221 edges, 125 markings/sec, 225 secs
lola: 20877 markings, 36406 edges, 118 markings/sec, 230 secs
lola: 21462 markings, 37461 edges, 117 markings/sec, 235 secs
lola: 22050 markings, 38580 edges, 118 markings/sec, 240 secs
lola: 22681 markings, 39943 edges, 126 markings/sec, 245 secs
lola: 23284 markings, 41081 edges, 121 markings/sec, 250 secs
lola: 23876 markings, 42364 edges, 118 markings/sec, 255 secs
lola: 24518 markings, 43530 edges, 128 markings/sec, 260 secs
lola: 25225 markings, 44845 edges, 141 markings/sec, 265 secs
lola: 25870 markings, 46122 edges, 129 markings/sec, 270 secs
lola: 26516 markings, 47455 edges, 129 markings/sec, 275 secs
lola: 27130 markings, 48698 edges, 123 markings/sec, 280 secs
lola: 27709 markings, 49918 edges, 116 markings/sec, 285 secs
lola: 28235 markings, 50963 edges, 105 markings/sec, 290 secs
lola: 28917 markings, 52287 edges, 136 markings/sec, 295 secs
lola: 29496 markings, 53338 edges, 116 markings/sec, 300 secs
lola: 30086 markings, 54593 edges, 118 markings/sec, 305 secs
lola: 30656 markings, 55654 edges, 114 markings/sec, 310 secs
lola: 31245 markings, 56855 edges, 118 markings/sec, 315 secs
lola: 31824 markings, 58350 edges, 116 markings/sec, 320 secs
lola: 32393 markings, 59381 edges, 114 markings/sec, 325 secs
lola: 33013 markings, 60649 edges, 124 markings/sec, 330 secs
lola: 33488 markings, 61528 edges, 95 markings/sec, 335 secs
lola: 34119 markings, 62705 edges, 126 markings/sec, 340 secs
lola: 34804 markings, 64053 edges, 137 markings/sec, 345 secs
lola: 35440 markings, 65366 edges, 127 markings/sec, 350 secs
lola: 36133 markings, 66729 edges, 139 markings/sec, 355 secs
lola: 36846 markings, 68245 edges, 143 markings/sec, 360 secs
lola: 37466 markings, 69564 edges, 124 markings/sec, 365 secs
lola: 38155 markings, 71190 edges, 138 markings/sec, 370 secs
lola: 38740 markings, 72408 edges, 117 markings/sec, 375 secs
lola: 39394 markings, 73777 edges, 131 markings/sec, 380 secs
lola: 40095 markings, 75267 edges, 140 markings/sec, 385 secs
lola: 40831 markings, 76861 edges, 147 markings/sec, 390 secs
lola: 41519 markings, 78631 edges, 138 markings/sec, 395 secs
lola: 42175 markings, 80029 edges, 131 markings/sec, 400 secs
lola: 42820 markings, 81557 edges, 129 markings/sec, 405 secs
lola: 43433 markings, 83202 edges, 123 markings/sec, 410 secs
lola: 44038 markings, 84429 edges, 121 markings/sec, 415 secs
lola: 44787 markings, 85983 edges, 150 markings/sec, 420 secs
lola: 45451 markings, 87562 edges, 133 markings/sec, 425 secs
lola: 45991 markings, 88562 edges, 108 markings/sec, 430 secs
lola: 46616 markings, 90083 edges, 125 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 20 5 5 unknown 20 unknown unknown 20 unknown 10 20 unknown unknown
lola: memory consumption: 931184 KB
lola: time consumption: 1684 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p63 + p62 + p61 + p60 + p59 + p58 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p57 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p56 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p54 + p44 + p34 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p63 + p62 + p61 + p60 + p59 + p58 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p57 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p56 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p54 + p44 + p34 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74)
lola: processed formula length: 302
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 196 markings, 267 edges, 39 markings/sec, 30 secs
lola: 541 markings, 755 edges, 69 markings/sec, 35 secs
lola: 931 markings, 1298 edges, 78 markings/sec, 40 secs
lola: 1368 markings, 1914 edges, 87 markings/sec, 45 secs
lola: 1802 markings, 2558 edges, 87 markings/sec, 50 secs
lola: 2245 markings, 3175 edges, 89 markings/sec, 55 secs
lola: 2673 markings, 3784 edges, 86 markings/sec, 60 secs
lola: 3150 markings, 4545 edges, 95 markings/sec, 65 secs
lola: 3751 markings, 5532 edges, 120 markings/sec, 70 secs
lola: 4185 markings, 6239 edges, 87 markings/sec, 75 secs
lola: 4610 markings, 6944 edges, 85 markings/sec, 80 secs
lola: 5211 markings, 7971 edges, 120 markings/sec, 85 secs
lola: 5703 markings, 8814 edges, 98 markings/sec, 90 secs
lola: 6188 markings, 9623 edges, 97 markings/sec, 95 secs
lola: 6707 markings, 10525 edges, 104 markings/sec, 100 secs
lola: 7341 markings, 11658 edges, 127 markings/sec, 105 secs
lola: 7890 markings, 12602 edges, 110 markings/sec, 110 secs
lola: 8374 markings, 13297 edges, 97 markings/sec, 115 secs
lola: 8911 markings, 14200 edges, 107 markings/sec, 120 secs
lola: 9464 markings, 15188 edges, 111 markings/sec, 125 secs
lola: 10085 markings, 16312 edges, 124 markings/sec, 130 secs
lola: 10557 markings, 17043 edges, 94 markings/sec, 135 secs
lola: 11052 markings, 17861 edges, 99 markings/sec, 140 secs
lola: 11549 markings, 18741 edges, 99 markings/sec, 145 secs
lola: 12104 markings, 19760 edges, 111 markings/sec, 150 secs
lola: 12612 markings, 20599 edges, 102 markings/sec, 155 secs
lola: 13165 markings, 21615 edges, 111 markings/sec, 160 secs
lola: 13623 markings, 22485 edges, 92 markings/sec, 165 secs
lola: 14094 markings, 23322 edges, 94 markings/sec, 170 secs
lola: 14701 markings, 24629 edges, 121 markings/sec, 175 secs
lola: 15305 markings, 25687 edges, 121 markings/sec, 180 secs
lola: 15793 markings, 26436 edges, 98 markings/sec, 185 secs
lola: 16313 markings, 27296 edges, 104 markings/sec, 190 secs
lola: 16790 markings, 28251 edges, 95 markings/sec, 195 secs
lola: 17328 markings, 29288 edges, 108 markings/sec, 200 secs
lola: 17862 markings, 30251 edges, 107 markings/sec, 205 secs
lola: 18351 markings, 31267 edges, 98 markings/sec, 210 secs
lola: 18966 markings, 32577 edges, 123 markings/sec, 215 secs
lola: 19548 markings, 33674 edges, 116 markings/sec, 220 secs
lola: 20168 markings, 35041 edges, 124 markings/sec, 225 secs
lola: 20765 markings, 36230 edges, 119 markings/sec, 230 secs
lola: 21311 markings, 37205 edges, 109 markings/sec, 235 secs
lola: 21898 markings, 38300 edges, 117 markings/sec, 240 secs
lola: 22487 markings, 39548 edges, 118 markings/sec, 245 secs
lola: 23125 markings, 40782 edges, 128 markings/sec, 250 secs
lola: 23695 markings, 41943 edges, 114 markings/sec, 255 secs
lola: 24317 markings, 43177 edges, 124 markings/sec, 260 secs
lola: 24959 markings, 44353 edges, 128 markings/sec, 265 secs
lola: 25611 markings, 45651 edges, 130 markings/sec, 270 secs
lola: 26252 markings, 46842 edges, 128 markings/sec, 275 secs
lola: 26880 markings, 48205 edges, 126 markings/sec, 280 secs
lola: 27513 markings, 49549 edges, 127 markings/sec, 285 secs
lola: 28032 markings, 50648 edges, 104 markings/sec, 290 secs
lola: 28709 markings, 51845 edges, 135 markings/sec, 295 secs
lola: 29285 markings, 52958 edges, 115 markings/sec, 300 secs
lola: 29943 markings, 54276 edges, 132 markings/sec, 305 secs
lola: 30476 markings, 55299 edges, 107 markings/sec, 310 secs
lola: 31054 markings, 56482 edges, 116 markings/sec, 315 secs
lola: 31604 markings, 57819 edges, 110 markings/sec, 320 secs
lola: 32163 markings, 58903 edges, 112 markings/sec, 325 secs
lola: 32776 markings, 60150 edges, 123 markings/sec, 330 secs
lola: 33299 markings, 61185 edges, 105 markings/sec, 335 secs
lola: 33879 markings, 62276 edges, 116 markings/sec, 340 secs
lola: 34568 markings, 63580 edges, 138 markings/sec, 345 secs
lola: 35247 markings, 64960 edges, 136 markings/sec, 350 secs
lola: 35921 markings, 66343 edges, 135 markings/sec, 355 secs
lola: 36578 markings, 67682 edges, 131 markings/sec, 360 secs
lola: 37271 markings, 69125 edges, 139 markings/sec, 365 secs
lola: 37893 markings, 70598 edges, 124 markings/sec, 370 secs
lola: 38534 markings, 72061 edges, 128 markings/sec, 375 secs
lola: 39150 markings, 73246 edges, 123 markings/sec, 380 secs
lola: 39808 markings, 74699 edges, 132 markings/sec, 385 secs
lola: 40536 markings, 76156 edges, 146 markings/sec, 390 secs
lola: 41189 markings, 77814 edges, 131 markings/sec, 395 secs
lola: 41803 markings, 79171 edges, 123 markings/sec, 400 secs
lola: 42413 markings, 80683 edges, 122 markings/sec, 405 secs
lola: 43039 markings, 82132 edges, 125 markings/sec, 410 secs
lola: 43592 markings, 83507 edges, 111 markings/sec, 415 secs
lola: 44224 markings, 84785 edges, 126 markings/sec, 420 secs
lola: 44888 markings, 86252 edges, 133 markings/sec, 425 secs
lola: 45516 markings, 87682 edges, 126 markings/sec, 430 secs
lola: 46039 markings, 88665 edges, 105 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 20 5 5 unknown 20 unknown unknown 20 unknown 10 20 unknown unknown
lola: memory consumption: 930784 KB
lola: time consumption: 2129 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p63 + p62 + p61 + p60 + p59 + p58 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p57 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p56 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p54 + p44 + p34 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p63 + p62 + p61 + p60 + p59 + p58 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p57 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p56 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p54 + p44 + p34 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74)
lola: processed formula length: 302
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 196 markings, 267 edges, 39 markings/sec, 30 secs
lola: 541 markings, 755 edges, 69 markings/sec, 35 secs
lola: 907 markings, 1263 edges, 73 markings/sec, 40 secs
lola: 1320 markings, 1853 edges, 83 markings/sec, 45 secs
lola: 1771 markings, 2518 edges, 90 markings/sec, 50 secs
lola: 2225 markings, 3147 edges, 91 markings/sec, 55 secs
lola: 2630 markings, 3713 edges, 81 markings/sec, 60 secs
lola: 3082 markings, 4438 edges, 90 markings/sec, 65 secs
lola: 3664 markings, 5406 edges, 116 markings/sec, 70 secs
lola: 4128 markings, 6126 edges, 93 markings/sec, 75 secs
lola: 4526 markings, 6807 edges, 80 markings/sec, 80 secs
lola: 5046 markings, 7682 edges, 104 markings/sec, 85 secs
lola: 5564 markings, 8602 edges, 104 markings/sec, 90 secs
lola: 6014 markings, 9325 edges, 90 markings/sec, 95 secs
lola: 6554 markings, 10232 edges, 108 markings/sec, 100 secs
lola: 7137 markings, 11292 edges, 117 markings/sec, 105 secs
lola: 7717 markings, 12341 edges, 116 markings/sec, 110 secs
lola: 8218 markings, 13062 edges, 100 markings/sec, 115 secs
lola: 8739 markings, 13879 edges, 104 markings/sec, 120 secs
lola: 9290 markings, 14856 edges, 110 markings/sec, 125 secs
lola: 9820 markings, 15852 edges, 106 markings/sec, 130 secs
lola: 10315 markings, 16698 edges, 99 markings/sec, 135 secs
lola: 10828 markings, 17495 edges, 103 markings/sec, 140 secs
lola: 11294 markings, 18286 edges, 93 markings/sec, 145 secs
lola: 11824 markings, 19259 edges, 106 markings/sec, 150 secs
lola: 12371 markings, 20174 edges, 109 markings/sec, 155 secs
lola: 12885 markings, 21147 edges, 103 markings/sec, 160 secs
lola: 13419 markings, 22079 edges, 107 markings/sec, 165 secs
lola: 13885 markings, 22962 edges, 93 markings/sec, 170 secs
lola: 14406 markings, 23970 edges, 104 markings/sec, 175 secs
lola: 15024 markings, 25166 edges, 124 markings/sec, 180 secs
lola: 15586 markings, 26134 edges, 112 markings/sec, 185 secs
lola: 16139 markings, 26969 edges, 111 markings/sec, 190 secs
lola: 16658 markings, 27971 edges, 104 markings/sec, 195 secs
lola: 17150 markings, 28958 edges, 98 markings/sec, 200 secs
lola: 17697 markings, 29914 edges, 109 markings/sec, 205 secs
lola: 18199 markings, 30940 edges, 100 markings/sec, 210 secs
lola: 18778 markings, 32149 edges, 116 markings/sec, 215 secs
lola: 19415 markings, 33359 edges, 127 markings/sec, 220 secs
lola: 20040 markings, 34752 edges, 125 markings/sec, 225 secs
lola: 20651 markings, 36012 edges, 122 markings/sec, 230 secs
lola: 21217 markings, 37057 edges, 113 markings/sec, 235 secs
lola: 21790 markings, 38070 edges, 115 markings/sec, 240 secs
lola: 22364 markings, 39255 edges, 115 markings/sec, 245 secs
lola: 23022 markings, 40579 edges, 132 markings/sec, 250 secs
lola: 23585 markings, 41694 edges, 113 markings/sec, 255 secs
lola: 24157 markings, 42871 edges, 114 markings/sec, 260 secs
lola: 24774 markings, 43993 edges, 123 markings/sec, 265 secs
lola: 25432 markings, 45276 edges, 132 markings/sec, 270 secs
lola: 26082 markings, 46473 edges, 130 markings/sec, 275 secs
lola: 26680 markings, 47830 edges, 120 markings/sec, 280 secs
lola: 27249 markings, 48956 edges, 114 markings/sec, 285 secs
lola: 27818 markings, 50166 edges, 114 markings/sec, 290 secs
lola: 28434 markings, 51295 edges, 123 markings/sec, 295 secs
lola: 29094 markings, 52645 edges, 132 markings/sec, 300 secs
lola: 29673 markings, 53689 edges, 116 markings/sec, 305 secs
lola: 30264 markings, 54910 edges, 118 markings/sec, 310 secs
lola: 30828 markings, 55969 edges, 113 markings/sec, 315 secs
lola: 31440 markings, 57397 edges, 122 markings/sec, 320 secs
lola: 32004 markings, 58638 edges, 113 markings/sec, 325 secs
lola: 32540 markings, 59704 edges, 107 markings/sec, 330 secs
lola: 33185 markings, 61019 edges, 129 markings/sec, 335 secs
lola: 33698 markings, 61983 edges, 103 markings/sec, 340 secs
lola: 34350 markings, 63111 edges, 130 markings/sec, 345 secs
lola: 35057 markings, 64548 edges, 141 markings/sec, 350 secs
lola: 35742 markings, 65933 edges, 137 markings/sec, 355 secs
lola: 36447 markings, 67397 edges, 141 markings/sec, 360 secs
lola: 37117 markings, 68861 edges, 134 markings/sec, 365 secs
lola: 37711 markings, 70155 edges, 119 markings/sec, 370 secs
lola: 38360 markings, 71671 edges, 130 markings/sec, 375 secs
lola: 38983 markings, 72881 edges, 125 markings/sec, 380 secs
lola: 39591 markings, 74210 edges, 122 markings/sec, 385 secs
lola: 40285 markings, 75672 edges, 139 markings/sec, 390 secs
lola: 40992 markings, 77308 edges, 141 markings/sec, 395 secs
lola: 41647 markings, 78894 edges, 131 markings/sec, 400 secs
lola: 42284 markings, 80282 edges, 127 markings/sec, 405 secs
lola: 42956 markings, 81907 edges, 134 markings/sec, 410 secs
lola: 43568 markings, 83464 edges, 122 markings/sec, 415 secs
lola: 44234 markings, 84805 edges, 133 markings/sec, 420 secs
lola: 44906 markings, 86303 edges, 134 markings/sec, 425 secs
lola: 45566 markings, 87758 edges, 132 markings/sec, 430 secs
lola: 46109 markings, 88829 edges, 109 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 20 5 5 unknown 20 unknown unknown 20 unknown 10 20 unknown unknown
lola: memory consumption: 930824 KB
lola: time consumption: 2574 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p63 + p62 + p61 + p60 + p59 + p58 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p57 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p56 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p54 + p44 + p34 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p63 + p62 + p61 + p60 + p59 + p58 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p57 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p56 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p54 + p44 + p34 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74)
lola: processed formula length: 302
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 201 markings, 273 edges, 40 markings/sec, 30 secs
lola: 569 markings, 793 edges, 74 markings/sec, 35 secs
lola: 970 markings, 1350 edges, 80 markings/sec, 40 secs
lola: 1384 markings, 1939 edges, 83 markings/sec, 45 secs
lola: 1831 markings, 2601 edges, 89 markings/sec, 50 secs
lola: 2258 markings, 3192 edges, 85 markings/sec, 55 secs
lola: 2706 markings, 3841 edges, 90 markings/sec, 60 secs
lola: 3191 markings, 4616 edges, 97 markings/sec, 65 secs
lola: 3761 markings, 5550 edges, 114 markings/sec, 70 secs
lola: 4188 markings, 6242 edges, 85 markings/sec, 75 secs
lola: 4625 markings, 6970 edges, 87 markings/sec, 80 secs
lola: 5217 markings, 7982 edges, 118 markings/sec, 85 secs
lola: 5707 markings, 8823 edges, 98 markings/sec, 90 secs
lola: 6195 markings, 9636 edges, 98 markings/sec, 95 secs
lola: 6738 markings, 10589 edges, 109 markings/sec, 100 secs
lola: 7380 markings, 11736 edges, 128 markings/sec, 105 secs
lola: 7915 markings, 12637 edges, 107 markings/sec, 110 secs
lola: 8411 markings, 13349 edges, 99 markings/sec, 115 secs
lola: 8941 markings, 14245 edges, 106 markings/sec, 120 secs
lola: 9482 markings, 15221 edges, 108 markings/sec, 125 secs
lola: 10091 markings, 16318 edges, 122 markings/sec, 130 secs
lola: 10581 markings, 17080 edges, 98 markings/sec, 135 secs
lola: 11061 markings, 17878 edges, 96 markings/sec, 140 secs
lola: 11556 markings, 18755 edges, 99 markings/sec, 145 secs
lola: 12133 markings, 19815 edges, 115 markings/sec, 150 secs
lola: 12615 markings, 20603 edges, 96 markings/sec, 155 secs
lola: 13161 markings, 21611 edges, 109 markings/sec, 160 secs
lola: 13626 markings, 22490 edges, 93 markings/sec, 165 secs
lola: 14126 markings, 23371 edges, 100 markings/sec, 170 secs
lola: 14752 markings, 24737 edges, 125 markings/sec, 175 secs
lola: 15340 markings, 25743 edges, 118 markings/sec, 180 secs
lola: 15871 markings, 26548 edges, 106 markings/sec, 185 secs
lola: 16406 markings, 27484 edges, 107 markings/sec, 190 secs
lola: 16942 markings, 28562 edges, 107 markings/sec, 195 secs
lola: 17536 markings, 29640 edges, 119 markings/sec, 200 secs
lola: 18046 markings, 30597 edges, 102 markings/sec, 205 secs
lola: 18651 markings, 31881 edges, 121 markings/sec, 210 secs
lola: 19290 markings, 33138 edges, 128 markings/sec, 215 secs
lola: 19909 markings, 34444 edges, 124 markings/sec, 220 secs
lola: 20517 markings, 35628 edges, 122 markings/sec, 225 secs
lola: 21071 markings, 36751 edges, 111 markings/sec, 230 secs
lola: 21678 markings, 37883 edges, 121 markings/sec, 235 secs
lola: 22247 markings, 38970 edges, 114 markings/sec, 240 secs
lola: 22873 markings, 40288 edges, 125 markings/sec, 245 secs
lola: 23452 markings, 41432 edges, 116 markings/sec, 250 secs
lola: 24072 markings, 42715 edges, 124 markings/sec, 255 secs
lola: 24708 markings, 43887 edges, 127 markings/sec, 260 secs
lola: 25389 markings, 45181 edges, 136 markings/sec, 265 secs
lola: 26082 markings, 46473 edges, 139 markings/sec, 270 secs
lola: 26699 markings, 47860 edges, 123 markings/sec, 275 secs
lola: 27288 markings, 49061 edges, 118 markings/sec, 280 secs
lola: 27861 markings, 50257 edges, 115 markings/sec, 285 secs
lola: 28504 markings, 51420 edges, 129 markings/sec, 290 secs
lola: 29164 markings, 52754 edges, 132 markings/sec, 295 secs
lola: 29768 markings, 53878 edges, 121 markings/sec, 300 secs
lola: 30359 markings, 55073 edges, 118 markings/sec, 305 secs
lola: 30990 markings, 56351 edges, 126 markings/sec, 310 secs
lola: 31558 markings, 57683 edges, 114 markings/sec, 315 secs
lola: 32160 markings, 58898 edges, 120 markings/sec, 320 secs
lola: 32776 markings, 60150 edges, 123 markings/sec, 325 secs
lola: 33317 markings, 61236 edges, 108 markings/sec, 330 secs
lola: 33905 markings, 62318 edges, 118 markings/sec, 335 secs
lola: 34602 markings, 63636 edges, 139 markings/sec, 340 secs
lola: 35284 markings, 65042 edges, 136 markings/sec, 345 secs
lola: 35982 markings, 66467 edges, 140 markings/sec, 350 secs
lola: 36685 markings, 67920 edges, 141 markings/sec, 355 secs
lola: 37342 markings, 69293 edges, 131 markings/sec, 360 secs
lola: 38052 markings, 71006 edges, 142 markings/sec, 365 secs
lola: 38686 markings, 72301 edges, 127 markings/sec, 370 secs
lola: 39320 markings, 73631 edges, 127 markings/sec, 375 secs
lola: 40007 markings, 75103 edges, 137 markings/sec, 380 secs
lola: 40762 markings, 76654 edges, 151 markings/sec, 385 secs
lola: 41473 markings, 78534 edges, 142 markings/sec, 390 secs
lola: 42147 markings, 79957 edges, 135 markings/sec, 395 secs
lola: 42809 markings, 81541 edges, 132 markings/sec, 400 secs
lola: 43488 markings, 83333 edges, 136 markings/sec, 405 secs
lola: 44161 markings, 84655 edges, 135 markings/sec, 410 secs
lola: 44888 markings, 86252 edges, 145 markings/sec, 415 secs
lola: 45576 markings, 87773 edges, 138 markings/sec, 420 secs
lola: 46152 markings, 88944 edges, 115 markings/sec, 425 secs
lola: 46810 markings, 90466 edges, 132 markings/sec, 430 secs
lola: 47404 markings, 91871 edges, 119 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 20 5 5 unknown 20 unknown unknown 20 unknown 10 20 unknown unknown
lola: memory consumption: 931464 KB
lola: time consumption: 3019 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p63 + p62 + p61 + p60 + p59 + p58 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p57 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p56 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p54 + p44 + p34 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p63 + p62 + p61 + p60 + p59 + p58 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p57 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p56 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p54 + p44 + p34 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74)
lola: processed formula length: 302
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 206 markings, 279 edges, 41 markings/sec, 30 secs
lola: 576 markings, 803 edges, 74 markings/sec, 35 secs
lola: 998 markings, 1390 edges, 84 markings/sec, 40 secs
lola: 1434 markings, 2019 edges, 87 markings/sec, 45 secs
lola: 1888 markings, 2675 edges, 91 markings/sec, 50 secs
lola: 2324 markings, 3286 edges, 87 markings/sec, 55 secs
lola: 2738 markings, 3888 edges, 83 markings/sec, 60 secs
lola: 3248 markings, 4706 edges, 102 markings/sec, 65 secs
lola: 3870 markings, 5736 edges, 124 markings/sec, 70 secs
lola: 4265 markings, 6398 edges, 79 markings/sec, 75 secs
lola: 4779 markings, 7231 edges, 103 markings/sec, 80 secs
lola: 5353 markings, 8211 edges, 115 markings/sec, 85 secs
lola: 5834 markings, 9005 edges, 96 markings/sec, 90 secs
lola: 6332 markings, 9867 edges, 100 markings/sec, 95 secs
lola: 6892 markings, 10882 edges, 112 markings/sec, 100 secs
lola: 7509 markings, 11966 edges, 123 markings/sec, 105 secs
lola: 8014 markings, 12773 edges, 101 markings/sec, 110 secs
lola: 8578 markings, 13610 edges, 113 markings/sec, 115 secs
lola: 9191 markings, 14700 edges, 123 markings/sec, 120 secs
lola: 9740 markings, 15727 edges, 110 markings/sec, 125 secs
lola: 10244 markings, 16595 edges, 101 markings/sec, 130 secs
lola: 10828 markings, 17495 edges, 117 markings/sec, 135 secs
lola: 11292 markings, 18284 edges, 93 markings/sec, 140 secs
lola: 11825 markings, 19260 edges, 107 markings/sec, 145 secs
lola: 12377 markings, 20184 edges, 110 markings/sec, 150 secs
lola: 12902 markings, 21172 edges, 105 markings/sec, 155 secs
lola: 13461 markings, 22179 edges, 112 markings/sec, 160 secs
lola: 13927 markings, 23018 edges, 93 markings/sec, 165 secs
lola: 14505 markings, 24202 edges, 116 markings/sec, 170 secs
lola: 15076 markings, 25260 edges, 114 markings/sec, 175 secs
lola: 15596 markings, 26147 edges, 104 markings/sec, 180 secs
lola: 16109 markings, 26929 edges, 103 markings/sec, 185 secs
lola: 16605 markings, 27864 edges, 99 markings/sec, 190 secs
lola: 17085 markings, 28830 edges, 96 markings/sec, 195 secs
lola: 17618 markings, 29782 edges, 107 markings/sec, 200 secs
lola: 18135 markings, 30794 edges, 103 markings/sec, 205 secs
lola: 18705 markings, 31998 edges, 114 markings/sec, 210 secs
lola: 19310 markings, 33170 edges, 121 markings/sec, 215 secs
lola: 19883 markings, 34388 edges, 115 markings/sec, 220 secs
lola: 20464 markings, 35530 edges, 116 markings/sec, 225 secs
lola: 21028 markings, 36677 edges, 113 markings/sec, 230 secs
lola: 21603 markings, 37729 edges, 115 markings/sec, 235 secs
lola: 22170 markings, 38812 edges, 113 markings/sec, 240 secs
lola: 22774 markings, 40108 edges, 121 markings/sec, 245 secs
lola: 23335 markings, 41168 edges, 112 markings/sec, 250 secs
lola: 23931 markings, 42480 edges, 119 markings/sec, 255 secs
lola: 24537 markings, 43560 edges, 121 markings/sec, 260 secs
lola: 25190 markings, 44773 edges, 131 markings/sec, 265 secs
lola: 25819 markings, 46044 edges, 126 markings/sec, 270 secs
lola: 26425 markings, 47212 edges, 121 markings/sec, 275 secs
lola: 26997 markings, 48457 edges, 114 markings/sec, 280 secs
lola: 27614 markings, 49729 edges, 123 markings/sec, 285 secs
lola: 28119 markings, 50783 edges, 101 markings/sec, 290 secs
lola: 28799 markings, 52083 edges, 136 markings/sec, 295 secs
lola: 29381 markings, 53167 edges, 116 markings/sec, 300 secs
lola: 29980 markings, 54361 edges, 120 markings/sec, 305 secs
lola: 30510 markings, 55369 edges, 106 markings/sec, 310 secs
lola: 31103 markings, 56600 edges, 119 markings/sec, 315 secs
lola: 31668 markings, 57982 edges, 113 markings/sec, 320 secs
lola: 32218 markings, 59011 edges, 110 markings/sec, 325 secs
lola: 32800 markings, 60193 edges, 116 markings/sec, 330 secs
lola: 33317 markings, 61236 edges, 103 markings/sec, 335 secs
lola: 33898 markings, 62307 edges, 116 markings/sec, 340 secs
lola: 34579 markings, 63594 edges, 136 markings/sec, 345 secs
lola: 35273 markings, 65027 edges, 139 markings/sec, 350 secs
lola: 35942 markings, 66384 edges, 134 markings/sec, 355 secs
lola: 36618 markings, 67762 edges, 135 markings/sec, 360 secs
lola: 37261 markings, 69108 edges, 129 markings/sec, 365 secs
lola: 37857 markings, 70505 edges, 119 markings/sec, 370 secs
lola: 38503 markings, 72005 edges, 129 markings/sec, 375 secs
lola: 39103 markings, 73147 edges, 120 markings/sec, 380 secs
lola: 39735 markings, 74557 edges, 126 markings/sec, 385 secs
lola: 40468 markings, 76010 edges, 147 markings/sec, 390 secs
lola: 41167 markings, 77731 edges, 140 markings/sec, 395 secs
lola: 41823 markings, 79214 edges, 131 markings/sec, 400 secs
lola: 42470 markings, 80802 edges, 129 markings/sec, 405 secs
lola: 43119 markings, 82342 edges, 130 markings/sec, 410 secs
lola: 43724 markings, 83724 edges, 121 markings/sec, 415 secs
lola: 44375 markings, 85088 edges, 130 markings/sec, 420 secs
lola: 45071 markings, 86659 edges, 139 markings/sec, 425 secs
lola: 45695 markings, 87970 edges, 125 markings/sec, 430 secs
lola: 46187 markings, 89033 edges, 98 markings/sec, 435 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 20 5 5 unknown 20 unknown unknown 20 unknown 10 20 unknown unknown
lola:
preliminary result: unknown unknown unknown 20 5 5 unknown 20 unknown unknown 20 unknown 10 20 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 20 5 5 unknown 20 unknown unknown 20 unknown 10 20 unknown unknown
lola: memory consumption: 930856 KB
lola: time consumption: 3464 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 20 5 5 unknown 20 unknown unknown 20 unknown 10 20 unknown unknown
lola: memory consumption: 930856 KB
lola: time consumption: 3464 seconds

BK_STOP 1552870540736

--------------------
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="GlobalResAllocation-COL-05"
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-3954"
echo " Executing tool win2018"
echo " Input is GlobalResAllocation-COL-05, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r088-csrt-155246565800157"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/GlobalResAllocation-COL-05.tgz
mv GlobalResAllocation-COL-05 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 ;