Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 9.5K Feb 12 09:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 35K Feb 12 09:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 8 10:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 26K Feb 8 10:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 4.0K Feb 5 00:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 5 00:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 4 22:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 4 22:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Feb 4 13:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 4 13:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 165K Feb 1 08:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 519K Feb 1 08:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.9K Feb 4 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 15M 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 PolyORBLF-PT-S06J06T06-UpperBounds-00
FORMULA_NAME PolyORBLF-PT-S06J06T06-UpperBounds-01
FORMULA_NAME PolyORBLF-PT-S06J06T06-UpperBounds-02
FORMULA_NAME PolyORBLF-PT-S06J06T06-UpperBounds-03
FORMULA_NAME PolyORBLF-PT-S06J06T06-UpperBounds-04
FORMULA_NAME PolyORBLF-PT-S06J06T06-UpperBounds-05
FORMULA_NAME PolyORBLF-PT-S06J06T06-UpperBounds-06
FORMULA_NAME PolyORBLF-PT-S06J06T06-UpperBounds-07
FORMULA_NAME PolyORBLF-PT-S06J06T06-UpperBounds-08
FORMULA_NAME PolyORBLF-PT-S06J06T06-UpperBounds-09
FORMULA_NAME PolyORBLF-PT-S06J06T06-UpperBounds-10
FORMULA_NAME PolyORBLF-PT-S06J06T06-UpperBounds-11
FORMULA_NAME PolyORBLF-PT-S06J06T06-UpperBounds-12
FORMULA_NAME PolyORBLF-PT-S06J06T06-UpperBounds-13
FORMULA_NAME PolyORBLF-PT-S06J06T06-UpperBounds-14
FORMULA_NAME PolyORBLF-PT-S06J06T06-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1553228531776

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ PolyORBLF-PT-S06J06T06 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ PolyORBLF-PT-S06J06T06

{
"exit":
{
"memory": 137252,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(P_1097)",
"processed_size": 11,
"rewrites": 0
},
"result":
{
"preliminary_value": "unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 11440/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 22400
lola: finding significant places
lola: 700 places, 10740 transitions, 642 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: MAX(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6) : MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5 + ModifiedSrc_6) : MAX(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6) : MAX(ScheduleTaskB_1 + ScheduleTaskB_2 + ScheduleTaskB_3 + ScheduleTaskB_4 + ScheduleTaskB_5 + ScheduleTaskB_6) : MAX(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4 + P_1617_5 + P_1617_6) : MAX(P_1097) : MAX(P_1097) : MAX(P_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6) : MAX(FetchJobE_2_3) : MAX(CreatedJobs_6_2) : MAX(CreatedJobs_4_4) : MAX(FetchJobE_1_1) : MAX(Insert_Source_B_3_1) : MAX(P_1097) : MAX(FetchJobE_2_0) : MAX(Idle_4)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1097)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1097)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 16413 markings, 17419 edges, 3283 markings/sec, 30 secs
lola: 32833 markings, 34974 edges, 3284 markings/sec, 35 secs
lola: 49526 markings, 52750 edges, 3339 markings/sec, 40 secs
lola: 66167 markings, 70593 edges, 3328 markings/sec, 45 secs
lola: 82507 markings, 87843 edges, 3268 markings/sec, 50 secs
lola: 98719 markings, 105180 edges, 3242 markings/sec, 55 secs
lola: 115100 markings, 122802 edges, 3276 markings/sec, 60 secs
lola: 131521 markings, 140341 edges, 3284 markings/sec, 65 secs
lola: 147817 markings, 157802 edges, 3259 markings/sec, 70 secs
lola: 164387 markings, 175484 edges, 3314 markings/sec, 75 secs
lola: 180906 markings, 193772 edges, 3304 markings/sec, 80 secs
lola: 197219 markings, 211227 edges, 3263 markings/sec, 85 secs
lola: 213214 markings, 228571 edges, 3199 markings/sec, 90 secs
lola: 228315 markings, 244783 edges, 3020 markings/sec, 95 secs
lola: 245273 markings, 263067 edges, 3392 markings/sec, 100 secs
lola: 261901 markings, 280976 edges, 3326 markings/sec, 105 secs
lola: 278448 markings, 298652 edges, 3309 markings/sec, 110 secs
lola: 294804 markings, 316309 edges, 3271 markings/sec, 115 secs
lola: 310918 markings, 333713 edges, 3223 markings/sec, 120 secs
lola: 326998 markings, 351000 edges, 3216 markings/sec, 125 secs
lola: 343048 markings, 368486 edges, 3210 markings/sec, 130 secs
lola: 359148 markings, 385700 edges, 3220 markings/sec, 135 secs
lola: 375339 markings, 403421 edges, 3238 markings/sec, 140 secs
lola: 391637 markings, 420844 edges, 3260 markings/sec, 145 secs
lola: 408121 markings, 438499 edges, 3297 markings/sec, 150 secs
lola: 424829 markings, 456606 edges, 3342 markings/sec, 155 secs
lola: 441029 markings, 473939 edges, 3240 markings/sec, 160 secs
lola: 457420 markings, 491341 edges, 3278 markings/sec, 165 secs
lola: 473821 markings, 508914 edges, 3280 markings/sec, 170 secs
lola: 489782 markings, 526138 edges, 3192 markings/sec, 175 secs
lola: 506231 markings, 543927 edges, 3290 markings/sec, 180 secs
lola: 521157 markings, 560195 edges, 2985 markings/sec, 185 secs
lola: 530688 markings, 573333 edges, 1906 markings/sec, 190 secs
lola: 540445 markings, 587066 edges, 1951 markings/sec, 195 secs
lola: 550530 markings, 601993 edges, 2017 markings/sec, 200 secs
lola: 560129 markings, 641158 edges, 1920 markings/sec, 205 secs
lola: 569914 markings, 682334 edges, 1957 markings/sec, 210 secs
lola: 581984 markings, 716662 edges, 2414 markings/sec, 215 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: 198720 KB
lola: time consumption: 228 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1097)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1097)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 16486 markings, 17492 edges, 3297 markings/sec, 30 secs
lola: 32990 markings, 35147 edges, 3301 markings/sec, 35 secs
lola: 49736 markings, 52960 edges, 3349 markings/sec, 40 secs
lola: 66456 markings, 70906 edges, 3344 markings/sec, 45 secs
lola: 82869 markings, 88211 edges, 3283 markings/sec, 50 secs
lola: 99155 markings, 105673 edges, 3257 markings/sec, 55 secs
lola: 115582 markings, 123320 edges, 3285 markings/sec, 60 secs
lola: 132078 markings, 140935 edges, 3299 markings/sec, 65 secs
lola: 148399 markings, 158395 edges, 3264 markings/sec, 70 secs
lola: 165076 markings, 176191 edges, 3335 markings/sec, 75 secs
lola: 181638 markings, 194507 edges, 3312 markings/sec, 80 secs
lola: 198015 markings, 212076 edges, 3275 markings/sec, 85 secs
lola: 214116 markings, 229568 edges, 3220 markings/sec, 90 secs
lola: 230172 markings, 246792 edges, 3211 markings/sec, 95 secs
lola: 246878 markings, 264774 edges, 3341 markings/sec, 100 secs
lola: 263197 markings, 282344 edges, 3264 markings/sec, 105 secs
lola: 279601 markings, 299903 edges, 3281 markings/sec, 110 secs
lola: 295921 markings, 317448 edges, 3264 markings/sec, 115 secs
lola: 312365 markings, 335241 edges, 3289 markings/sec, 120 secs
lola: 328625 markings, 352858 edges, 3252 markings/sec, 125 secs
lola: 345063 markings, 370642 edges, 3288 markings/sec, 130 secs
lola: 361433 markings, 388155 edges, 3274 markings/sec, 135 secs
lola: 377793 markings, 406078 edges, 3272 markings/sec, 140 secs
lola: 394461 markings, 423837 edges, 3334 markings/sec, 145 secs
lola: 411290 markings, 441848 edges, 3366 markings/sec, 150 secs
lola: 428215 markings, 460234 edges, 3385 markings/sec, 155 secs
lola: 444742 markings, 477947 edges, 3305 markings/sec, 160 secs
lola: 461461 markings, 495690 edges, 3344 markings/sec, 165 secs
lola: 477974 markings, 513327 edges, 3303 markings/sec, 170 secs
lola: 494294 markings, 530979 edges, 3264 markings/sec, 175 secs
lola: 510993 markings, 549053 edges, 3340 markings/sec, 180 secs
lola: 524150 markings, 563950 edges, 2631 markings/sec, 185 secs
lola: 533857 markings, 578030 edges, 1941 markings/sec, 190 secs
lola: 543854 markings, 592016 edges, 1999 markings/sec, 195 secs
lola: 554032 markings, 616677 edges, 2036 markings/sec, 200 secs
lola: 563913 markings, 657934 edges, 1976 markings/sec, 205 secs
lola: 574261 markings, 698758 edges, 2070 markings/sec, 210 secs
lola: 587634 markings, 729460 edges, 2675 markings/sec, 215 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: 199236 KB
lola: time consumption: 450 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_2_3)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 10092 markings, 14686 edges, 2018 markings/sec, 30 secs
lola: 19597 markings, 49522 edges, 1901 markings/sec, 35 secs
lola: 29417 markings, 75342 edges, 1964 markings/sec, 40 secs
lola: 39297 markings, 101085 edges, 1976 markings/sec, 45 secs
lola: 48662 markings, 136314 edges, 1873 markings/sec, 50 secs
lola: 58338 markings, 159165 edges, 1935 markings/sec, 55 secs
lola: 68249 markings, 173203 edges, 1982 markings/sec, 60 secs
lola: 78038 markings, 187619 edges, 1958 markings/sec, 65 secs
lola: 87183 markings, 228265 edges, 1829 markings/sec, 70 secs
lola: 96471 markings, 265930 edges, 1858 markings/sec, 75 secs
lola: 105945 markings, 295664 edges, 1895 markings/sec, 80 secs
lola: 115782 markings, 316792 edges, 1967 markings/sec, 85 secs
lola: 125525 markings, 338732 edges, 1949 markings/sec, 90 secs
lola: 135197 markings, 361403 edges, 1934 markings/sec, 95 secs
lola: 144852 markings, 387963 edges, 1931 markings/sec, 100 secs
lola: 154565 markings, 412764 edges, 1943 markings/sec, 105 secs
lola: 164141 markings, 437678 edges, 1915 markings/sec, 110 secs
lola: 173508 markings, 470121 edges, 1873 markings/sec, 115 secs
lola: 182824 markings, 508051 edges, 1863 markings/sec, 120 secs
lola: 192069 markings, 543994 edges, 1849 markings/sec, 125 secs
lola: 201876 markings, 558082 edges, 1961 markings/sec, 130 secs
lola: 211859 markings, 571767 edges, 1997 markings/sec, 135 secs
lola: 221625 markings, 586505 edges, 1953 markings/sec, 140 secs
lola: 231202 markings, 612579 edges, 1915 markings/sec, 145 secs
lola: 240502 markings, 650731 edges, 1860 markings/sec, 150 secs
lola: 249727 markings, 688114 edges, 1845 markings/sec, 155 secs
lola: 258867 markings, 724989 edges, 1828 markings/sec, 160 secs
lola: 268546 markings, 744999 edges, 1936 markings/sec, 165 secs
lola: 277867 markings, 779683 edges, 1864 markings/sec, 170 secs
lola: 287632 markings, 801733 edges, 1953 markings/sec, 175 secs
lola: 297421 markings, 823695 edges, 1958 markings/sec, 180 secs
lola: 307119 markings, 844628 edges, 1940 markings/sec, 185 secs
lola: 316726 markings, 871053 edges, 1921 markings/sec, 190 secs
lola: 326497 markings, 893926 edges, 1954 markings/sec, 195 secs
lola: 336222 markings, 918087 edges, 1945 markings/sec, 200 secs
lola: 345914 markings, 942034 edges, 1938 markings/sec, 205 secs
lola: 355513 markings, 966099 edges, 1920 markings/sec, 210 secs
lola: 365049 markings, 989360 edges, 1907 markings/sec, 215 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: 170452 KB
lola: time consumption: 672 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_6_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_6_2)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 13253 markings, 13288 edges, 2651 markings/sec, 30 secs
lola: 27082 markings, 27141 edges, 2766 markings/sec, 35 secs
lola: 40829 markings, 40913 edges, 2749 markings/sec, 40 secs
lola: 54650 markings, 54759 edges, 2764 markings/sec, 45 secs
lola: 68499 markings, 68632 edges, 2770 markings/sec, 50 secs
lola: 82266 markings, 82424 edges, 2753 markings/sec, 55 secs
lola: 95998 markings, 96180 edges, 2746 markings/sec, 60 secs
lola: 109853 markings, 110060 edges, 2771 markings/sec, 65 secs
lola: 123651 markings, 123883 edges, 2760 markings/sec, 70 secs
lola: 137363 markings, 137620 edges, 2742 markings/sec, 75 secs
lola: 151178 markings, 151460 edges, 2763 markings/sec, 80 secs
lola: 165004 markings, 165311 edges, 2765 markings/sec, 85 secs
lola: 178756 markings, 179088 edges, 2750 markings/sec, 90 secs
lola: 192471 markings, 192827 edges, 2743 markings/sec, 95 secs
lola: 206288 markings, 206741 edges, 2763 markings/sec, 100 secs
lola: 220130 markings, 221295 edges, 2768 markings/sec, 105 secs
lola: 234002 markings, 235466 edges, 2774 markings/sec, 110 secs
lola: 247735 markings, 249258 edges, 2747 markings/sec, 115 secs
lola: 261407 markings, 262957 edges, 2734 markings/sec, 120 secs
lola: 275135 markings, 277011 edges, 2746 markings/sec, 125 secs
lola: 289051 markings, 291490 edges, 2783 markings/sec, 130 secs
lola: 302893 markings, 305781 edges, 2768 markings/sec, 135 secs
lola: 316763 markings, 319978 edges, 2774 markings/sec, 140 secs
lola: 330607 markings, 334146 edges, 2769 markings/sec, 145 secs
lola: 344635 markings, 348909 edges, 2806 markings/sec, 150 secs
lola: 358584 markings, 363324 edges, 2790 markings/sec, 155 secs
lola: 372417 markings, 377384 edges, 2767 markings/sec, 160 secs
lola: 386315 markings, 391623 edges, 2780 markings/sec, 165 secs
lola: 400140 markings, 406135 edges, 2765 markings/sec, 170 secs
lola: 414016 markings, 420804 edges, 2775 markings/sec, 175 secs
lola: 428017 markings, 435394 edges, 2800 markings/sec, 180 secs
lola: 442177 markings, 450144 edges, 2832 markings/sec, 185 secs
lola: 456181 markings, 464510 edges, 2801 markings/sec, 190 secs
lola: 470108 markings, 478936 edges, 2785 markings/sec, 195 secs
lola: 484173 markings, 493706 edges, 2813 markings/sec, 200 secs
lola: 498282 markings, 508445 edges, 2822 markings/sec, 205 secs
lola: 512412 markings, 523621 edges, 2826 markings/sec, 210 secs
lola: 525651 markings, 537875 edges, 2648 markings/sec, 215 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: 196320 KB
lola: time consumption: 894 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_4_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_4_4)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 14475 markings, 14568 edges, 2895 markings/sec, 30 secs
lola: 28921 markings, 29041 edges, 2889 markings/sec, 35 secs
lola: 43531 markings, 43806 edges, 2922 markings/sec, 40 secs
lola: 57780 markings, 58323 edges, 2850 markings/sec, 45 secs
lola: 72214 markings, 73272 edges, 2887 markings/sec, 50 secs
lola: 86731 markings, 88477 edges, 2903 markings/sec, 55 secs
lola: 101649 markings, 103501 edges, 2984 markings/sec, 60 secs
lola: 116596 markings, 118691 edges, 2989 markings/sec, 65 secs
lola: 131635 markings, 133757 edges, 3008 markings/sec, 70 secs
lola: 146479 markings, 149005 edges, 2969 markings/sec, 75 secs
lola: 160938 markings, 164236 edges, 2892 markings/sec, 80 secs
lola: 175769 markings, 180294 edges, 2966 markings/sec, 85 secs
lola: 190437 markings, 195445 edges, 2934 markings/sec, 90 secs
lola: 204868 markings, 209901 edges, 2886 markings/sec, 95 secs
lola: 219148 markings, 224385 edges, 2856 markings/sec, 100 secs
lola: 234144 markings, 239689 edges, 2999 markings/sec, 105 secs
lola: 249243 markings, 255487 edges, 3020 markings/sec, 110 secs
lola: 264620 markings, 272369 edges, 3075 markings/sec, 115 secs
lola: 279698 markings, 287557 edges, 3016 markings/sec, 120 secs
lola: 294606 markings, 302959 edges, 2982 markings/sec, 125 secs
lola: 308788 markings, 317439 edges, 2836 markings/sec, 130 secs
lola: 321996 markings, 330872 edges, 2642 markings/sec, 135 secs
lola: 337022 markings, 346796 edges, 3005 markings/sec, 140 secs
lola: 352262 markings, 362414 edges, 3048 markings/sec, 145 secs
lola: 366694 markings, 377410 edges, 2886 markings/sec, 150 secs
lola: 381220 markings, 392303 edges, 2905 markings/sec, 155 secs
lola: 395693 markings, 406802 edges, 2895 markings/sec, 160 secs
lola: 410127 markings, 421699 edges, 2887 markings/sec, 165 secs
lola: 425126 markings, 437620 edges, 3000 markings/sec, 170 secs
lola: 440193 markings, 453630 edges, 3013 markings/sec, 175 secs
lola: 454959 markings, 468450 edges, 2953 markings/sec, 180 secs
lola: 469281 markings, 483132 edges, 2864 markings/sec, 185 secs
lola: 484332 markings, 498414 edges, 3010 markings/sec, 190 secs
lola: 498842 markings, 513299 edges, 2902 markings/sec, 195 secs
lola: 513776 markings, 528536 edges, 2987 markings/sec, 200 secs
lola: 527914 markings, 542790 edges, 2828 markings/sec, 205 secs
lola: 541810 markings, 556872 edges, 2779 markings/sec, 210 secs
lola: 556530 markings, 572085 edges, 2944 markings/sec, 215 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: 201072 KB
lola: time consumption: 1117 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_1)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 10088 markings, 14676 edges, 2018 markings/sec, 30 secs
lola: 19591 markings, 49479 edges, 1901 markings/sec, 35 secs
lola: 29406 markings, 75329 edges, 1963 markings/sec, 40 secs
lola: 39281 markings, 101064 edges, 1975 markings/sec, 45 secs
lola: 48647 markings, 136207 edges, 1873 markings/sec, 50 secs
lola: 58315 markings, 159133 edges, 1934 markings/sec, 55 secs
lola: 68241 markings, 173195 edges, 1985 markings/sec, 60 secs
lola: 78020 markings, 187598 edges, 1956 markings/sec, 65 secs
lola: 87162 markings, 228116 edges, 1828 markings/sec, 70 secs
lola: 96443 markings, 265894 edges, 1856 markings/sec, 75 secs
lola: 105913 markings, 295596 edges, 1894 markings/sec, 80 secs
lola: 115743 markings, 316700 edges, 1966 markings/sec, 85 secs
lola: 125488 markings, 338577 edges, 1949 markings/sec, 90 secs
lola: 135158 markings, 361119 edges, 1934 markings/sec, 95 secs
lola: 144806 markings, 387770 edges, 1930 markings/sec, 100 secs
lola: 154520 markings, 412438 edges, 1943 markings/sec, 105 secs
lola: 164090 markings, 437591 edges, 1914 markings/sec, 110 secs
lola: 173460 markings, 470064 edges, 1874 markings/sec, 115 secs
lola: 182770 markings, 507956 edges, 1862 markings/sec, 120 secs
lola: 192647 markings, 544496 edges, 1975 markings/sec, 125 secs
lola: 211797 markings, 563715 edges, 3830 markings/sec, 130 secs
lola: 230896 markings, 582991 edges, 3820 markings/sec, 135 secs
lola: 250049 markings, 602201 edges, 3831 markings/sec, 140 secs
lola: 269171 markings, 621404 edges, 3824 markings/sec, 145 secs
lola: 288183 markings, 640487 edges, 3802 markings/sec, 150 secs
lola: 307062 markings, 659539 edges, 3776 markings/sec, 155 secs
lola: 326167 markings, 678818 edges, 3821 markings/sec, 160 secs
lola: 345339 markings, 698050 edges, 3834 markings/sec, 165 secs
lola: 364482 markings, 717265 edges, 3829 markings/sec, 170 secs
lola: 383631 markings, 736494 edges, 3830 markings/sec, 175 secs
lola: 402642 markings, 755659 edges, 3802 markings/sec, 180 secs
lola: 421669 markings, 775008 edges, 3805 markings/sec, 185 secs
lola: 440441 markings, 793961 edges, 3754 markings/sec, 190 secs
lola: 450228 markings, 808128 edges, 1957 markings/sec, 195 secs
lola: 459984 markings, 823103 edges, 1951 markings/sec, 200 secs
lola: 469017 markings, 861612 edges, 1807 markings/sec, 205 secs
lola: 478142 markings, 897741 edges, 1825 markings/sec, 210 secs
lola: 487104 markings, 932670 edges, 1792 markings/sec, 215 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: 181184 KB
lola: time consumption: 1340 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Insert_Source_B_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Insert_Source_B_3_1)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 10045 markings, 14703 edges, 2009 markings/sec, 30 secs
lola: 19634 markings, 47556 edges, 1918 markings/sec, 35 secs
lola: 29322 markings, 75204 edges, 1938 markings/sec, 40 secs
lola: 37973 markings, 105823 edges, 1730 markings/sec, 45 secs
lola: 47404 markings, 132817 edges, 1886 markings/sec, 50 secs
lola: 56493 markings, 146268 edges, 1818 markings/sec, 55 secs
lola: 66345 markings, 160499 edges, 1970 markings/sec, 60 secs
lola: 75678 markings, 193992 edges, 1867 markings/sec, 65 secs
lola: 84931 markings, 231652 edges, 1851 markings/sec, 70 secs
lola: 94335 markings, 263585 edges, 1881 markings/sec, 75 secs
lola: 104098 markings, 286197 edges, 1953 markings/sec, 80 secs
lola: 113856 markings, 309099 edges, 1952 markings/sec, 85 secs
lola: 123389 markings, 336478 edges, 1907 markings/sec, 90 secs
lola: 132693 markings, 370919 edges, 1861 markings/sec, 95 secs
lola: 141910 markings, 410120 edges, 1843 markings/sec, 100 secs
lola: 151621 markings, 430493 edges, 1942 markings/sec, 105 secs
lola: 161498 markings, 445036 edges, 1975 markings/sec, 110 secs
lola: 171267 markings, 463907 edges, 1954 markings/sec, 115 secs
lola: 180658 markings, 495535 edges, 1878 markings/sec, 120 secs
lola: 189809 markings, 538396 edges, 1830 markings/sec, 125 secs
lola: 199290 markings, 567740 edges, 1896 markings/sec, 130 secs
lola: 209117 markings, 588687 edges, 1965 markings/sec, 135 secs
lola: 218828 markings, 610658 edges, 1942 markings/sec, 140 secs
lola: 228086 markings, 642813 edges, 1852 markings/sec, 145 secs
lola: 237179 markings, 679055 edges, 1819 markings/sec, 150 secs
lola: 246351 markings, 714103 edges, 1834 markings/sec, 155 secs
lola: 256294 markings, 728892 edges, 1989 markings/sec, 160 secs
lola: 266220 markings, 743629 edges, 1985 markings/sec, 165 secs
lola: 275652 markings, 777132 edges, 1886 markings/sec, 170 secs
lola: 284895 markings, 819598 edges, 1849 markings/sec, 175 secs
lola: 294326 markings, 852474 edges, 1886 markings/sec, 180 secs
lola: 304154 markings, 875411 edges, 1966 markings/sec, 185 secs
lola: 313891 markings, 897203 edges, 1947 markings/sec, 190 secs
lola: 323330 markings, 930702 edges, 1888 markings/sec, 195 secs
lola: 332622 markings, 971201 edges, 1858 markings/sec, 200 secs
lola: 341955 markings, 1008537 edges, 1867 markings/sec, 205 secs
lola: 351252 markings, 1042231 edges, 1859 markings/sec, 210 secs
lola: 360429 markings, 1082276 edges, 1835 markings/sec, 215 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: 169552 KB
lola: time consumption: 1563 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1097)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1097)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 16692 markings, 17700 edges, 3338 markings/sec, 30 secs
lola: 33447 markings, 35652 edges, 3351 markings/sec, 35 secs
lola: 50416 markings, 53673 edges, 3394 markings/sec, 40 secs
lola: 67377 markings, 71916 edges, 3392 markings/sec, 45 secs
lola: 83992 markings, 89410 edges, 3323 markings/sec, 50 secs
lola: 100071 markings, 106676 edges, 3216 markings/sec, 55 secs
lola: 116285 markings, 124035 edges, 3243 markings/sec, 60 secs
lola: 132637 markings, 141532 edges, 3270 markings/sec, 65 secs
lola: 148751 markings, 158773 edges, 3223 markings/sec, 70 secs
lola: 164622 markings, 175720 edges, 3174 markings/sec, 75 secs
lola: 180818 markings, 193668 edges, 3239 markings/sec, 80 secs
lola: 197138 markings, 211137 edges, 3264 markings/sec, 85 secs
lola: 213205 markings, 228562 edges, 3213 markings/sec, 90 secs
lola: 229218 markings, 245734 edges, 3203 markings/sec, 95 secs
lola: 245964 markings, 263816 edges, 3349 markings/sec, 100 secs
lola: 262354 markings, 281470 edges, 3278 markings/sec, 105 secs
lola: 278699 markings, 298929 edges, 3269 markings/sec, 110 secs
lola: 295106 markings, 316629 edges, 3281 markings/sec, 115 secs
lola: 311522 markings, 334341 edges, 3283 markings/sec, 120 secs
lola: 327807 markings, 351918 edges, 3257 markings/sec, 125 secs
lola: 344223 markings, 369699 edges, 3283 markings/sec, 130 secs
lola: 360628 markings, 387269 edges, 3281 markings/sec, 135 secs
lola: 377083 markings, 405341 edges, 3291 markings/sec, 140 secs
lola: 393700 markings, 423001 edges, 3323 markings/sec, 145 secs
lola: 410534 markings, 441059 edges, 3367 markings/sec, 150 secs
lola: 427507 markings, 459525 edges, 3395 markings/sec, 155 secs
lola: 444022 markings, 477211 edges, 3303 markings/sec, 160 secs
lola: 460770 markings, 494951 edges, 3350 markings/sec, 165 secs
lola: 477336 markings, 512629 edges, 3313 markings/sec, 170 secs
lola: 493626 markings, 530276 edges, 3258 markings/sec, 175 secs
lola: 510350 markings, 548362 edges, 3345 markings/sec, 180 secs
lola: 523796 markings, 563498 edges, 2689 markings/sec, 185 secs
lola: 533486 markings, 577412 edges, 1938 markings/sec, 190 secs
lola: 543474 markings, 591468 edges, 1998 markings/sec, 195 secs
lola: 553666 markings, 614050 edges, 2038 markings/sec, 200 secs
lola: 563544 markings, 656595 edges, 1976 markings/sec, 205 secs
lola: 573530 markings, 697464 edges, 1997 markings/sec, 210 secs
lola: 587238 markings, 728031 edges, 2742 markings/sec, 215 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: 199432 KB
lola: time consumption: 1786 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_2_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_2_0)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 9925 markings, 14399 edges, 1985 markings/sec, 30 secs
lola: 19326 markings, 47568 edges, 1880 markings/sec, 35 secs
lola: 28959 markings, 74616 edges, 1927 markings/sec, 40 secs
lola: 38715 markings, 99672 edges, 1951 markings/sec, 45 secs
lola: 48178 markings, 133148 edges, 1893 markings/sec, 50 secs
lola: 57746 markings, 158480 edges, 1914 markings/sec, 55 secs
lola: 67531 markings, 172212 edges, 1957 markings/sec, 60 secs
lola: 77185 markings, 186623 edges, 1931 markings/sec, 65 secs
lola: 86285 markings, 223819 edges, 1820 markings/sec, 70 secs
lola: 95430 markings, 263030 edges, 1829 markings/sec, 75 secs
lola: 104763 markings, 291834 edges, 1867 markings/sec, 80 secs
lola: 114433 markings, 313241 edges, 1934 markings/sec, 85 secs
lola: 124070 markings, 335128 edges, 1927 markings/sec, 90 secs
lola: 133700 markings, 353700 edges, 1926 markings/sec, 95 secs
lola: 143147 markings, 383616 edges, 1889 markings/sec, 100 secs
lola: 152703 markings, 408170 edges, 1911 markings/sec, 105 secs
lola: 161549 markings, 430804 edges, 1769 markings/sec, 110 secs
lola: 171067 markings, 456525 edges, 1904 markings/sec, 115 secs
lola: 180243 markings, 497116 edges, 1835 markings/sec, 120 secs
lola: 189466 markings, 535810 edges, 1845 markings/sec, 125 secs
lola: 199160 markings, 553991 edges, 1939 markings/sec, 130 secs
lola: 209162 markings, 567944 edges, 2000 markings/sec, 135 secs
lola: 218950 markings, 582328 edges, 1958 markings/sec, 140 secs
lola: 228792 markings, 596973 edges, 1968 markings/sec, 145 secs
lola: 237971 markings, 639277 edges, 1836 markings/sec, 150 secs
lola: 247214 markings, 678355 edges, 1849 markings/sec, 155 secs
lola: 256367 markings, 714898 edges, 1831 markings/sec, 160 secs
lola: 265882 markings, 740619 edges, 1903 markings/sec, 165 secs
lola: 275355 markings, 769711 edges, 1895 markings/sec, 170 secs
lola: 284910 markings, 796604 edges, 1911 markings/sec, 175 secs
lola: 294730 markings, 817705 edges, 1964 markings/sec, 180 secs
lola: 304438 markings, 839466 edges, 1942 markings/sec, 185 secs
lola: 314136 markings, 862675 edges, 1940 markings/sec, 190 secs
lola: 323841 markings, 887834 edges, 1941 markings/sec, 195 secs
lola: 333556 markings, 911208 edges, 1943 markings/sec, 200 secs
lola: 343294 markings, 935161 edges, 1948 markings/sec, 205 secs
lola: 352885 markings, 959490 edges, 1918 markings/sec, 210 secs
lola: 362408 markings, 983439 edges, 1905 markings/sec, 215 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: 170392 KB
lola: time consumption: 2009 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Idle_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Idle_4)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 10735 markings, 18321 edges, 2147 markings/sec, 30 secs
lola: 20256 markings, 47934 edges, 1904 markings/sec, 35 secs
lola: 29946 markings, 81589 edges, 1938 markings/sec, 40 secs
lola: 39629 markings, 115241 edges, 1937 markings/sec, 45 secs
lola: 49331 markings, 148907 edges, 1940 markings/sec, 50 secs
lola: 59661 markings, 183024 edges, 2066 markings/sec, 55 secs
lola: 70443 markings, 214856 edges, 2156 markings/sec, 60 secs
lola: 82364 markings, 242872 edges, 2384 markings/sec, 65 secs
lola: 92173 markings, 258650 edges, 1962 markings/sec, 70 secs
lola: 101855 markings, 301837 edges, 1936 markings/sec, 75 secs
lola: 112950 markings, 326401 edges, 2219 markings/sec, 80 secs
lola: 122353 markings, 347080 edges, 1881 markings/sec, 85 secs
lola: 132120 markings, 385150 edges, 1953 markings/sec, 90 secs
lola: 143825 markings, 408313 edges, 2341 markings/sec, 95 secs
lola: 153548 markings, 426031 edges, 1945 markings/sec, 100 secs
lola: 162592 markings, 466395 edges, 1809 markings/sec, 105 secs
lola: 172145 markings, 500769 edges, 1911 markings/sec, 110 secs
lola: 185340 markings, 530707 edges, 2639 markings/sec, 115 secs
lola: 196063 markings, 559332 edges, 2145 markings/sec, 120 secs
lola: 206062 markings, 590241 edges, 2000 markings/sec, 125 secs
lola: 217410 markings, 618233 edges, 2270 markings/sec, 130 secs
lola: 228516 markings, 648062 edges, 2221 markings/sec, 135 secs
lola: 241851 markings, 670476 edges, 2667 markings/sec, 140 secs
lola: 253185 markings, 692286 edges, 2267 markings/sec, 145 secs
lola: 262614 markings, 717427 edges, 1886 markings/sec, 150 secs
lola: 272139 markings, 744949 edges, 1905 markings/sec, 155 secs
lola: 281780 markings, 771132 edges, 1928 markings/sec, 160 secs
lola: 291372 markings, 797643 edges, 1918 markings/sec, 165 secs
lola: 301821 markings, 829262 edges, 2090 markings/sec, 170 secs
lola: 311220 markings, 865649 edges, 1880 markings/sec, 175 secs
lola: 320132 markings, 900592 edges, 1782 markings/sec, 180 secs
lola: 333567 markings, 923079 edges, 2687 markings/sec, 185 secs
lola: 345664 markings, 953529 edges, 2419 markings/sec, 190 secs
lola: 355927 markings, 989081 edges, 2053 markings/sec, 195 secs
lola: 365530 markings, 1027770 edges, 1921 markings/sec, 200 secs
lola: 375292 markings, 1065669 edges, 1952 markings/sec, 205 secs
lola: 387273 markings, 1091268 edges, 2396 markings/sec, 210 secs
lola: 399988 markings, 1115096 edges, 2543 markings/sec, 215 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: 174132 KB
lola: time consumption: 2232 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4 + P_1617_5 + P_1617_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4 + P_1617_5 + P_1617_6)
lola: processed formula length: 68
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 14837 markings, 15418 edges, 2967 markings/sec, 30 secs
lola: 29922 markings, 30764 edges, 3017 markings/sec, 35 secs
lola: 44931 markings, 46208 edges, 3002 markings/sec, 40 secs
lola: 59917 markings, 61616 edges, 2997 markings/sec, 45 secs
lola: 74691 markings, 77023 edges, 2955 markings/sec, 50 secs
lola: 87277 markings, 92468 edges, 2517 markings/sec, 55 secs
lola: 98754 markings, 107638 edges, 2295 markings/sec, 60 secs
lola: 112677 markings, 123226 edges, 2785 markings/sec, 65 secs
lola: 124147 markings, 138567 edges, 2294 markings/sec, 70 secs
lola: 136099 markings, 154691 edges, 2390 markings/sec, 75 secs
lola: 147126 markings, 169586 edges, 2205 markings/sec, 80 secs
lola: 159065 markings, 186075 edges, 2388 markings/sec, 85 secs
lola: 170086 markings, 203008 edges, 2204 markings/sec, 90 secs
lola: 181805 markings, 216326 edges, 2344 markings/sec, 95 secs
lola: 193551 markings, 231629 edges, 2349 markings/sec, 100 secs
lola: 206026 markings, 246116 edges, 2495 markings/sec, 105 secs
lola: 217603 markings, 261536 edges, 2315 markings/sec, 110 secs
lola: 229640 markings, 275129 edges, 2407 markings/sec, 115 secs
lola: 240927 markings, 291721 edges, 2257 markings/sec, 120 secs
lola: 253859 markings, 307732 edges, 2586 markings/sec, 125 secs
lola: 264899 markings, 324445 edges, 2208 markings/sec, 130 secs
lola: 276731 markings, 338706 edges, 2366 markings/sec, 135 secs
lola: 288147 markings, 353473 edges, 2283 markings/sec, 140 secs
lola: 301967 markings, 368067 edges, 2764 markings/sec, 145 secs
lola: 313432 markings, 384168 edges, 2293 markings/sec, 150 secs
lola: 324482 markings, 399614 edges, 2210 markings/sec, 155 secs
lola: 337917 markings, 415249 edges, 2687 markings/sec, 160 secs
lola: 349392 markings, 430294 edges, 2295 markings/sec, 165 secs
lola: 361372 markings, 446506 edges, 2396 markings/sec, 170 secs
lola: 372926 markings, 462898 edges, 2311 markings/sec, 175 secs
lola: 384594 markings, 477597 edges, 2334 markings/sec, 180 secs
lola: 397844 markings, 492638 edges, 2650 markings/sec, 185 secs
lola: 408949 markings, 509346 edges, 2221 markings/sec, 190 secs
lola: 421791 markings, 523713 edges, 2568 markings/sec, 195 secs
lola: 434293 markings, 537634 edges, 2500 markings/sec, 200 secs
lola: 445797 markings, 553507 edges, 2301 markings/sec, 205 secs
lola: 458158 markings, 569334 edges, 2472 markings/sec, 210 secs
lola: 470120 markings, 582706 edges, 2392 markings/sec, 215 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: 182328 KB
lola: time consumption: 2455 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6)
lola: processed formula length: 50
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 10912 markings, 11086 edges, 2182 markings/sec, 30 secs
lola: 21806 markings, 21999 edges, 2179 markings/sec, 35 secs
lola: 32608 markings, 33724 edges, 2160 markings/sec, 40 secs
lola: 43358 markings, 45526 edges, 2150 markings/sec, 45 secs
lola: 54163 markings, 56726 edges, 2161 markings/sec, 50 secs
lola: 65012 markings, 67594 edges, 2170 markings/sec, 55 secs
lola: 75865 markings, 78467 edges, 2171 markings/sec, 60 secs
lola: 86817 markings, 89439 edges, 2190 markings/sec, 65 secs
lola: 97670 markings, 100312 edges, 2171 markings/sec, 70 secs
lola: 108566 markings, 111227 edges, 2179 markings/sec, 75 secs
lola: 119464 markings, 122144 edges, 2180 markings/sec, 80 secs
lola: 130232 markings, 133289 edges, 2154 markings/sec, 85 secs
lola: 140972 markings, 144480 edges, 2148 markings/sec, 90 secs
lola: 151821 markings, 155381 edges, 2170 markings/sec, 95 secs
lola: 162646 markings, 166347 edges, 2165 markings/sec, 100 secs
lola: 173583 markings, 177384 edges, 2187 markings/sec, 105 secs
lola: 184491 markings, 188430 edges, 2182 markings/sec, 110 secs
lola: 195418 markings, 199376 edges, 2185 markings/sec, 115 secs
lola: 206301 markings, 210279 edges, 2177 markings/sec, 120 secs
lola: 217121 markings, 221118 edges, 2164 markings/sec, 125 secs
lola: 228018 markings, 232035 edges, 2179 markings/sec, 130 secs
lola: 238921 markings, 242958 edges, 2181 markings/sec, 135 secs
lola: 249766 markings, 254051 edges, 2169 markings/sec, 140 secs
lola: 260671 markings, 265565 edges, 2181 markings/sec, 145 secs
lola: 271554 markings, 276571 edges, 2177 markings/sec, 150 secs
lola: 282451 markings, 287488 edges, 2179 markings/sec, 155 secs
lola: 293356 markings, 298663 edges, 2181 markings/sec, 160 secs
lola: 304216 markings, 309997 edges, 2172 markings/sec, 165 secs
lola: 315051 markings, 320888 edges, 2167 markings/sec, 170 secs
lola: 325843 markings, 332018 edges, 2158 markings/sec, 175 secs
lola: 336641 markings, 342944 edges, 2160 markings/sec, 180 secs
lola: 347580 markings, 354091 edges, 2188 markings/sec, 185 secs
lola: 358328 markings, 365452 edges, 2150 markings/sec, 190 secs
lola: 369177 markings, 376742 edges, 2170 markings/sec, 195 secs
lola: 380105 markings, 387689 edges, 2186 markings/sec, 200 secs
lola: 390910 markings, 398632 edges, 2161 markings/sec, 205 secs
lola: 401773 markings, 409516 edges, 2173 markings/sec, 210 secs
lola: 412618 markings, 420619 edges, 2169 markings/sec, 215 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: 181696 KB
lola: time consumption: 2678 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5 + ModifiedSrc_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5 + ModifiedSrc_6)
lola: processed formula length: 98
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 10041 markings, 14550 edges, 2008 markings/sec, 30 secs
lola: 20204 markings, 38811 edges, 2033 markings/sec, 35 secs
lola: 30517 markings, 79720 edges, 2063 markings/sec, 40 secs
lola: 42755 markings, 110177 edges, 2448 markings/sec, 45 secs
lola: 54388 markings, 139226 edges, 2327 markings/sec, 50 secs
lola: 65286 markings, 167652 edges, 2180 markings/sec, 55 secs
lola: 75694 markings, 201973 edges, 2082 markings/sec, 60 secs
lola: 85952 markings, 245168 edges, 2052 markings/sec, 65 secs
lola: 102728 markings, 262810 edges, 3355 markings/sec, 70 secs
lola: 119539 markings, 280457 edges, 3362 markings/sec, 75 secs
lola: 136456 markings, 298164 edges, 3383 markings/sec, 80 secs
lola: 153029 markings, 315472 edges, 3315 markings/sec, 85 secs
lola: 169845 markings, 333272 edges, 3363 markings/sec, 90 secs
lola: 186384 markings, 350698 edges, 3308 markings/sec, 95 secs
lola: 203377 markings, 368685 edges, 3399 markings/sec, 100 secs
lola: 219986 markings, 386104 edges, 3322 markings/sec, 105 secs
lola: 236366 markings, 403245 edges, 3276 markings/sec, 110 secs
lola: 253373 markings, 421533 edges, 3401 markings/sec, 115 secs
lola: 269796 markings, 438921 edges, 3285 markings/sec, 120 secs
lola: 286482 markings, 456737 edges, 3337 markings/sec, 125 secs
lola: 303115 markings, 474360 edges, 3327 markings/sec, 130 secs
lola: 319789 markings, 492185 edges, 3335 markings/sec, 135 secs
lola: 336175 markings, 509736 edges, 3277 markings/sec, 140 secs
lola: 352867 markings, 527835 edges, 3338 markings/sec, 145 secs
lola: 369376 markings, 545248 edges, 3302 markings/sec, 150 secs
lola: 386205 markings, 563125 edges, 3366 markings/sec, 155 secs
lola: 402525 markings, 580499 edges, 3264 markings/sec, 160 secs
lola: 419031 markings, 597925 edges, 3301 markings/sec, 165 secs
lola: 435493 markings, 615305 edges, 3292 markings/sec, 170 secs
lola: 451550 markings, 632224 edges, 3211 markings/sec, 175 secs
lola: 468384 markings, 649924 edges, 3367 markings/sec, 180 secs
lola: 485044 markings, 667360 edges, 3332 markings/sec, 185 secs
lola: 502123 markings, 685197 edges, 3416 markings/sec, 190 secs
lola: 518688 markings, 702559 edges, 3313 markings/sec, 195 secs
lola: 535277 markings, 719953 edges, 3318 markings/sec, 200 secs
lola: 551908 markings, 737606 edges, 3326 markings/sec, 205 secs
lola: 568702 markings, 755193 edges, 3359 markings/sec, 210 secs
lola: 585149 markings, 772410 edges, 3289 markings/sec, 215 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: 200324 KB
lola: time consumption: 2901 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6)
lola: processed formula length: 68
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 10943 markings, 11205 edges, 2189 markings/sec, 30 secs
lola: 21852 markings, 22243 edges, 2182 markings/sec, 35 secs
lola: 32664 markings, 34053 edges, 2162 markings/sec, 40 secs
lola: 43450 markings, 45979 edges, 2157 markings/sec, 45 secs
lola: 54261 markings, 57351 edges, 2162 markings/sec, 50 secs
lola: 65089 markings, 68297 edges, 2166 markings/sec, 55 secs
lola: 75968 markings, 79313 edges, 2176 markings/sec, 60 secs
lola: 86938 markings, 90393 edges, 2194 markings/sec, 65 secs
lola: 97759 markings, 101344 edges, 2164 markings/sec, 70 secs
lola: 108693 markings, 112408 edges, 2187 markings/sec, 75 secs
lola: 119573 markings, 123418 edges, 2176 markings/sec, 80 secs
lola: 130398 markings, 134638 edges, 2165 markings/sec, 85 secs
lola: 141099 markings, 145907 edges, 2140 markings/sec, 90 secs
lola: 151933 markings, 156898 edges, 2167 markings/sec, 95 secs
lola: 162768 markings, 167936 edges, 2167 markings/sec, 100 secs
lola: 173723 markings, 179196 edges, 2191 markings/sec, 105 secs
lola: 184606 markings, 190315 edges, 2177 markings/sec, 110 secs
lola: 195558 markings, 201385 edges, 2190 markings/sec, 115 secs
lola: 206430 markings, 212385 edges, 2174 markings/sec, 120 secs
lola: 217289 markings, 223374 edges, 2172 markings/sec, 125 secs
lola: 228111 markings, 234317 edges, 2164 markings/sec, 130 secs
lola: 239102 markings, 245435 edges, 2198 markings/sec, 135 secs
lola: 249937 markings, 256510 edges, 2167 markings/sec, 140 secs
lola: 260852 markings, 268053 edges, 2183 markings/sec, 145 secs
lola: 271722 markings, 279328 edges, 2174 markings/sec, 150 secs
lola: 282600 markings, 290335 edges, 2176 markings/sec, 155 secs
lola: 293559 markings, 301605 edges, 2192 markings/sec, 160 secs
lola: 304463 markings, 313084 edges, 2181 markings/sec, 165 secs
lola: 315269 markings, 324161 edges, 2161 markings/sec, 170 secs
lola: 326077 markings, 335322 edges, 2162 markings/sec, 175 secs
lola: 336899 markings, 346366 edges, 2164 markings/sec, 180 secs
lola: 347715 markings, 357581 edges, 2163 markings/sec, 185 secs
lola: 358526 markings, 369086 edges, 2162 markings/sec, 190 secs
lola: 369419 markings, 380659 edges, 2179 markings/sec, 195 secs
lola: 380290 markings, 391659 edges, 2174 markings/sec, 200 secs
lola: 391227 markings, 402713 edges, 2187 markings/sec, 205 secs
lola: 402066 markings, 413822 edges, 2168 markings/sec, 210 secs
lola: 412865 markings, 424792 edges, 2160 markings/sec, 215 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: 181444 KB
lola: time consumption: 3124 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6)
lola: processed formula length: 122
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 17613 markings, 17676 edges, 3523 markings/sec, 30 secs
lola: 34389 markings, 34491 edges, 3355 markings/sec, 35 secs
lola: 52367 markings, 52520 edges, 3596 markings/sec, 40 secs
lola: 69308 markings, 69524 edges, 3388 markings/sec, 45 secs
lola: 86998 markings, 87406 edges, 3538 markings/sec, 50 secs
lola: 105918 markings, 106408 edges, 3784 markings/sec, 55 secs
lola: 124274 markings, 124851 edges, 3671 markings/sec, 60 secs
lola: 142349 markings, 142996 edges, 3615 markings/sec, 65 secs
lola: 159924 markings, 160645 edges, 3515 markings/sec, 70 secs
lola: 178027 markings, 178824 edges, 3621 markings/sec, 75 secs
lola: 196028 markings, 196965 edges, 3600 markings/sec, 80 secs
lola: 213782 markings, 214802 edges, 3551 markings/sec, 85 secs
lola: 231529 markings, 232637 edges, 3549 markings/sec, 90 secs
lola: 249419 markings, 250590 edges, 3578 markings/sec, 95 secs
lola: 266490 markings, 267759 edges, 3414 markings/sec, 100 secs
lola: 283568 markings, 284941 edges, 3416 markings/sec, 105 secs
lola: 301232 markings, 302689 edges, 3533 markings/sec, 110 secs
lola: 318560 markings, 320079 edges, 3466 markings/sec, 115 secs
lola: 336401 markings, 338029 edges, 3568 markings/sec, 120 secs
lola: 353605 markings, 355318 edges, 3441 markings/sec, 125 secs
lola: 370614 markings, 372403 edges, 3402 markings/sec, 130 secs
lola: 387647 markings, 389583 edges, 3407 markings/sec, 135 secs
lola: 405399 markings, 407462 edges, 3550 markings/sec, 140 secs
lola: 422286 markings, 424458 edges, 3377 markings/sec, 145 secs
lola: 439643 markings, 441989 edges, 3471 markings/sec, 150 secs
lola: 457125 markings, 459637 edges, 3496 markings/sec, 155 secs
lola: 474678 markings, 477278 edges, 3511 markings/sec, 160 secs
lola: 491290 markings, 494084 edges, 3322 markings/sec, 165 secs
lola: 508811 markings, 511842 edges, 3504 markings/sec, 170 secs
lola: 525445 markings, 528630 edges, 3327 markings/sec, 175 secs
lola: 542602 markings, 545964 edges, 3431 markings/sec, 180 secs
lola: 559920 markings, 563365 edges, 3464 markings/sec, 185 secs
lola: 578634 markings, 582130 edges, 3743 markings/sec, 190 secs
lola: 596149 markings, 599766 edges, 3503 markings/sec, 195 secs
lola: 613809 markings, 617586 edges, 3532 markings/sec, 200 secs
lola: 630353 markings, 634209 edges, 3309 markings/sec, 205 secs
lola: 647648 markings, 651609 edges, 3459 markings/sec, 210 secs
lola: 664913 markings, 668955 edges, 3453 markings/sec, 215 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: 214280 KB
lola: time consumption: 3347 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ScheduleTaskB_1 + ScheduleTaskB_2 + ScheduleTaskB_3 + ScheduleTaskB_4 + ScheduleTaskB_5 + ScheduleTaskB_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ScheduleTaskB_1 + ScheduleTaskB_2 + ScheduleTaskB_3 + ScheduleTaskB_4 + ScheduleTaskB_5 + ScheduleTaskB_6)
lola: processed formula length: 110
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 10810 markings, 14766 edges, 2162 markings/sec, 30 secs
lola: 21717 markings, 26982 edges, 2181 markings/sec, 35 secs
lola: 32083 markings, 41307 edges, 2073 markings/sec, 40 secs
lola: 42554 markings, 55633 edges, 2094 markings/sec, 45 secs
lola: 53462 markings, 70283 edges, 2182 markings/sec, 50 secs
lola: 64571 markings, 84639 edges, 2222 markings/sec, 55 secs
lola: 75410 markings, 97228 edges, 2168 markings/sec, 60 secs
lola: 85826 markings, 111444 edges, 2083 markings/sec, 65 secs
lola: 96376 markings, 123695 edges, 2110 markings/sec, 70 secs
lola: 106706 markings, 139958 edges, 2066 markings/sec, 75 secs
lola: 117103 markings, 153932 edges, 2079 markings/sec, 80 secs
lola: 127904 markings, 168925 edges, 2160 markings/sec, 85 secs
lola: 138760 markings, 181125 edges, 2171 markings/sec, 90 secs
lola: 148906 markings, 192642 edges, 2029 markings/sec, 95 secs
lola: 158740 markings, 207638 edges, 1967 markings/sec, 100 secs
lola: 169648 markings, 220675 edges, 2182 markings/sec, 105 secs
lola: 180233 markings, 233855 edges, 2117 markings/sec, 110 secs
lola: 190756 markings, 248785 edges, 2105 markings/sec, 115 secs
lola: 201179 markings, 261558 edges, 2085 markings/sec, 120 secs
lola: 211268 markings, 273239 edges, 2018 markings/sec, 125 secs
lola: 222040 markings, 286873 edges, 2154 markings/sec, 130 secs
lola: 232776 markings, 299990 edges, 2147 markings/sec, 135 secs
lola: 243065 markings, 313952 edges, 2058 markings/sec, 140 secs
lola: 253922 markings, 326454 edges, 2171 markings/sec, 145 secs
lola: 264292 markings, 341277 edges, 2074 markings/sec, 150 secs
lola: 275524 markings, 355396 edges, 2246 markings/sec, 155 secs
lola: 286396 markings, 370212 edges, 2174 markings/sec, 160 secs
lola: 296809 markings, 382733 edges, 2083 markings/sec, 165 secs
lola: 307176 markings, 398717 edges, 2073 markings/sec, 170 secs
lola: 318377 markings, 410813 edges, 2240 markings/sec, 175 secs
lola: 328094 markings, 424068 edges, 1943 markings/sec, 180 secs
lola: 338492 markings, 438378 edges, 2080 markings/sec, 185 secs
lola: 348939 markings, 450770 edges, 2089 markings/sec, 190 secs
lola: 359258 markings, 466851 edges, 2064 markings/sec, 195 secs
lola: 370646 markings, 480726 edges, 2278 markings/sec, 200 secs
lola: 380422 markings, 492964 edges, 1955 markings/sec, 205 secs
lola: 390729 markings, 505024 edges, 2061 markings/sec, 210 secs
lola: 401889 markings, 518120 edges, 2232 markings/sec, 215 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: 175260 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(P_1097)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1097)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: lola: caught signal User defined signal 1 - aborting LoLA

preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 137252 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: memory consumption: 137252 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

BK_STOP 1553232101873

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

grep: GenericPropertiesVerdict.xml: No such file or directory
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="PolyORBLF-PT-S06J06T06"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool lola"
echo " Input is PolyORBLF-PT-S06J06T06, 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 r115-smll-155272315900389"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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