Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......................
/home/mcc/execution
total 21M
-rw-r--r-- 1 mcc users 12K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 39K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 232K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 724K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 7.1K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 33K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 24K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 5.0K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 10 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 20M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PolyORBLF-PT-S06J06T08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r124-smll-152673527100254
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527113037259

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-PT-S06J06T08 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-PT-S06J06T08 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PolyORBLF-PT-S06J06T08 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 15228/65536 symbol table entries, 9133 collisions
lola: preprocessing...
lola: Size of bit vector: 28608
lola: finding significant places
lola: 894 places, 14334 transitions, 832 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4215 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-PT-S06J06T08-UpperBounds.task
lola: MAX(Insert_Source_B_1_1 + Insert_Source_B_1_2 + Insert_Source_B_1_3 + Insert_Source_B_1_4 + Insert_Source_B_1_5 + Insert_Source_B_1_6 + Insert_Source_B_2_1 + Insert_Source_B_2_2 + Insert_Source_B_2_3 + Insert_Source_B_2_4 + Insert_Source_B_2_5 + Insert_Source_B_2_6 + Insert_Source_B_3_1 + Insert_Source_B_3_2 + Insert_Source_B_3_3 + Insert_Source_B_3_4 + Insert_Source_B_3_5 + Insert_Source_B_3_6 + Insert_Source_B_4_1 + Insert_Source_B_4_2 + Insert_Source_B_4_3 + Insert_Source_B_4_4 + Insert_Source_B_4_5 + Insert_Source_B_4_6 + Insert_Source_B_5_1 + Insert_Source_B_5_2 + Insert_Source_B_5_3 + Insert_Source_B_5_4 + Insert_Source_B_5_5 + Insert_Source_B_5_6 + Insert_Source_B_8_6 + Insert_Source_B_8_5 + Insert_Source_B_8_4 + Insert_Source_B_8_3 + Insert_Source_B_8_2 + Insert_Source_B_8_1 + Insert_Source_B_6_1 + Insert_Source_B_6_2 + Insert_Source_B_6_3 + Insert_Source_B_6_4 + Insert_Source_B_6_5 + Insert_Source_B_6_6 + Insert_Source_B_7_1 + Insert_Source_B_7_2 + Insert_Source_B_7_3 + Insert_Source_B_7_4 + Insert_Source_B_7_5 + Insert_Source_B_7_6) : MAX(P_1158_1 + P_1158_2 + P_1158_3 + P_1158_4 + P_1158_5 + P_1158_6 + P_1158_7 + P_1158_8) : MAX(ScheduleTaskB_1 + ScheduleTaskB_2 + ScheduleTaskB_3 + ScheduleTaskB_4 + ScheduleTaskB_5 + ScheduleTaskB_6 + ScheduleTaskB_7 + ScheduleTaskB_8) : MAX(P_1119_1_1 + P_1119_1_2 + P_1119_1_3 + P_1119_1_4 + P_1119_1_5 + P_1119_1_6 + P_1119_2_1 + P_1119_2_2 + P_1119_2_3 + P_1119_2_4 + P_1119_2_5 + P_1119_2_6 + P_1119_3_1 + P_1119_3_2 + P_1119_3_3 + P_1119_3_4 + P_1119_3_5 + P_1119_3_6 + P_1119_4_1 + P_1119_4_2 + P_1119_4_3 + P_1119_4_4 + P_1119_4_5 + P_1119_4_6 + P_1119_5_1 + P_1119_5_2 + P_1119_5_3 + P_1119_5_4 + P_1119_5_5 + P_1119_5_6 + P_1119_6_1 + P_1119_6_2 + P_1119_6_3 + P_1119_6_4 + P_1119_6_5 + P_1119_6_6 + P_1119_7_1 + P_1119_7_2 + P_1119_7_3 + P_1119_7_4 + P_1119_7_5 + P_1119_7_6 + P_1119_8_1 + P_1119_8_2 + P_1119_8_3 + P_1119_8_4 + P_1119_8_5 + P_1119_8_6) : MAX(QueueJobB_1_0 + QueueJobB_1_1 + QueueJobB_1_2 + QueueJobB_1_3 + QueueJobB_1_4 + QueueJobB_1_5 + QueueJobB_1_6 + QueueJobB_2_0 + QueueJobB_2_1 + QueueJobB_2_2 + QueueJobB_2_3 + QueueJobB_2_4 + QueueJobB_2_5 + QueueJobB_2_6 + QueueJobB_3_0 + QueueJobB_3_1 + QueueJobB_3_2 + QueueJobB_3_3 + QueueJobB_3_4 + QueueJobB_3_5 + QueueJobB_3_6 + QueueJobB_4_0 + QueueJobB_4_1 + QueueJobB_4_2 + QueueJobB_4_3 + QueueJobB_4_4 + QueueJobB_4_5 + QueueJobB_4_6 + QueueJobB_5_0 + QueueJobB_5_1 + QueueJobB_5_2 + QueueJobB_5_3 + QueueJobB_5_4 + QueueJobB_5_5 + QueueJobB_5_6 + QueueJobB_6_0 + QueueJobB_6_1 + QueueJobB_6_2 + QueueJobB_6_3 + QueueJobB_6_4 + QueueJobB_6_5 + QueueJobB_6_6 + QueueJobB_7_0 + QueueJobB_7_1 + QueueJobB_7_2 + QueueJobB_7_3 + QueueJobB_7_4 + QueueJobB_7_5 + QueueJobB_7_6 + QueueJobB_8_0 + QueueJobB_8_1 + QueueJobB_8_2 + QueueJobB_8_3 + QueueJobB_8_4 + QueueJobB_8_5 + QueueJobB_8_6) : MAX(DataOnSrc_6 + DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1) : MAX(QueueJobE_1 + QueueJobE_2 + QueueJobE_3 + QueueJobE_4 + QueueJobE_5 + QueueJobE_6 + QueueJobE_7 + QueueJobE_8) : MAX(ScheduleTaskE_Idle_1 + ScheduleTaskE_Idle_2 + ScheduleTaskE_Idle_3 + ScheduleTaskE_Idle_4 + ScheduleTaskE_Idle_5 + ScheduleTaskE_Idle_6 + ScheduleTaskE_Idle_7 + ScheduleTaskE_Idle_8) : MAX(AwakeTasks_6) : MAX(FetchJobE_1_5) : MAX(Idle_7) : MAX(P_1095) : MAX(CreatedJobs_2_1) : MAX(P_1119_6_6) : MAX(QueueJobB_6_1) : MAX(Insert_Source_B_3_5)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(AwakeTasks_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AwakeTasks_6)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T08-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: 3909 markings, 9151 edges, 782 markings/sec, 30 secs
lola: 7042 markings, 20370 edges, 627 markings/sec, 35 secs
lola: 10210 markings, 31648 edges, 634 markings/sec, 40 secs
lola: 13347 markings, 42845 edges, 627 markings/sec, 45 secs
lola: 16483 markings, 54107 edges, 627 markings/sec, 50 secs
lola: 19613 markings, 65354 edges, 626 markings/sec, 55 secs
lola: 22787 markings, 76385 edges, 635 markings/sec, 60 secs
lola: 25889 markings, 87465 edges, 620 markings/sec, 65 secs
lola: 28981 markings, 98467 edges, 618 markings/sec, 70 secs
lola: 32001 markings, 109256 edges, 604 markings/sec, 75 secs
lola: 35083 markings, 120277 edges, 616 markings/sec, 80 secs
lola: 38205 markings, 131513 edges, 624 markings/sec, 85 secs
lola: 41790 markings, 141744 edges, 717 markings/sec, 90 secs
lola: 44898 markings, 152830 edges, 622 markings/sec, 95 secs
lola: 48034 markings, 164095 edges, 627 markings/sec, 100 secs
lola: 51123 markings, 175305 edges, 618 markings/sec, 105 secs
lola: 54228 markings, 186650 edges, 621 markings/sec, 110 secs
lola: 57354 markings, 197795 edges, 625 markings/sec, 115 secs
lola: 60472 markings, 208989 edges, 624 markings/sec, 120 secs
lola: 63594 markings, 220324 edges, 624 markings/sec, 125 secs
lola: 66717 markings, 231717 edges, 625 markings/sec, 130 secs
lola: 69850 markings, 242892 edges, 627 markings/sec, 135 secs
lola: 72984 markings, 254130 edges, 627 markings/sec, 140 secs
lola: 76119 markings, 265517 edges, 627 markings/sec, 145 secs
lola: 79365 markings, 276666 edges, 649 markings/sec, 150 secs
lola: 82423 markings, 287569 edges, 612 markings/sec, 155 secs
lola: 85485 markings, 298532 edges, 612 markings/sec, 160 secs
lola: 88545 markings, 309649 edges, 612 markings/sec, 165 secs
lola: 91617 markings, 320871 edges, 614 markings/sec, 170 secs
lola: 94700 markings, 331897 edges, 617 markings/sec, 175 secs
lola: 97770 markings, 342887 edges, 614 markings/sec, 180 secs
lola: 100842 markings, 354034 edges, 614 markings/sec, 185 secs
lola: 103918 markings, 365236 edges, 615 markings/sec, 190 secs
lola: 107176 markings, 376236 edges, 652 markings/sec, 195 secs
lola: 110324 markings, 387489 edges, 630 markings/sec, 200 secs
lola: 113468 markings, 398895 edges, 629 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: 70564 KB
lola: time consumption: 374 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(FetchJobE_1_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_5)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T08-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: 3214 markings, 10922 edges, 643 markings/sec, 30 secs
lola: 6400 markings, 21726 edges, 637 markings/sec, 35 secs
lola: 9639 markings, 32751 edges, 648 markings/sec, 40 secs
lola: 12876 markings, 44002 edges, 647 markings/sec, 45 secs
lola: 16123 markings, 55014 edges, 649 markings/sec, 50 secs
lola: 19467 markings, 63926 edges, 669 markings/sec, 55 secs
lola: 22797 markings, 72851 edges, 666 markings/sec, 60 secs
lola: 26126 markings, 82458 edges, 666 markings/sec, 65 secs
lola: 29366 markings, 93745 edges, 648 markings/sec, 70 secs
lola: 32601 markings, 104994 edges, 647 markings/sec, 75 secs
lola: 35941 markings, 116129 edges, 668 markings/sec, 80 secs
lola: 39210 markings, 127797 edges, 654 markings/sec, 85 secs
lola: 42468 markings, 139499 edges, 652 markings/sec, 90 secs
lola: 45730 markings, 151150 edges, 652 markings/sec, 95 secs
lola: 48991 markings, 162819 edges, 652 markings/sec, 100 secs
lola: 52249 markings, 174534 edges, 652 markings/sec, 105 secs
lola: 55507 markings, 186260 edges, 652 markings/sec, 110 secs
lola: 58768 markings, 198071 edges, 652 markings/sec, 115 secs
lola: 62020 markings, 209890 edges, 650 markings/sec, 120 secs
lola: 65272 markings, 221801 edges, 650 markings/sec, 125 secs
lola: 68525 markings, 233562 edges, 651 markings/sec, 130 secs
lola: 71778 markings, 245372 edges, 651 markings/sec, 135 secs
lola: 75035 markings, 257371 edges, 651 markings/sec, 140 secs
lola: 78289 markings, 269377 edges, 651 markings/sec, 145 secs
lola: 81546 markings, 280988 edges, 651 markings/sec, 150 secs
lola: 84803 markings, 292672 edges, 651 markings/sec, 155 secs
lola: 88061 markings, 304324 edges, 652 markings/sec, 160 secs
lola: 91312 markings, 315934 edges, 650 markings/sec, 165 secs
lola: 94565 markings, 327611 edges, 651 markings/sec, 170 secs
lola: 97822 markings, 339348 edges, 651 markings/sec, 175 secs
lola: 101076 markings, 351070 edges, 651 markings/sec, 180 secs
lola: 104330 markings, 362931 edges, 651 markings/sec, 185 secs
lola: 107575 markings, 374745 edges, 649 markings/sec, 190 secs
lola: 110828 markings, 386580 edges, 651 markings/sec, 195 secs
lola: 114080 markings, 398334 edges, 650 markings/sec, 200 secs
lola: 117327 markings, 410229 edges, 649 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: 73912 KB
lola: time consumption: 587 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Idle_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Idle_7)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T08-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: 4531 markings, 6961 edges, 906 markings/sec, 30 secs
lola: 7663 markings, 18083 edges, 626 markings/sec, 35 secs
lola: 10794 markings, 29271 edges, 626 markings/sec, 40 secs
lola: 13916 markings, 40412 edges, 624 markings/sec, 45 secs
lola: 17038 markings, 51616 edges, 624 markings/sec, 50 secs
lola: 20159 markings, 62804 edges, 624 markings/sec, 55 secs
lola: 23357 markings, 73976 edges, 640 markings/sec, 60 secs
lola: 26540 markings, 85324 edges, 637 markings/sec, 65 secs
lola: 29739 markings, 96741 edges, 640 markings/sec, 70 secs
lola: 32971 markings, 108239 edges, 646 markings/sec, 75 secs
lola: 36203 markings, 119853 edges, 646 markings/sec, 80 secs
lola: 39432 markings, 131436 edges, 646 markings/sec, 85 secs
lola: 42706 markings, 142831 edges, 655 markings/sec, 90 secs
lola: 45865 markings, 154089 edges, 632 markings/sec, 95 secs
lola: 49002 markings, 165291 edges, 627 markings/sec, 100 secs
lola: 52154 markings, 176535 edges, 630 markings/sec, 105 secs
lola: 55287 markings, 187774 edges, 627 markings/sec, 110 secs
lola: 58438 markings, 199075 edges, 630 markings/sec, 115 secs
lola: 62188 markings, 209039 edges, 750 markings/sec, 120 secs
lola: 65363 markings, 221920 edges, 635 markings/sec, 125 secs
lola: 68545 markings, 234857 edges, 636 markings/sec, 130 secs
lola: 71734 markings, 247858 edges, 638 markings/sec, 135 secs
lola: 74917 markings, 260847 edges, 637 markings/sec, 140 secs
lola: 78097 markings, 273826 edges, 636 markings/sec, 145 secs
lola: 81273 markings, 286864 edges, 635 markings/sec, 150 secs
lola: 84420 markings, 299612 edges, 629 markings/sec, 155 secs
lola: 87562 markings, 312433 edges, 628 markings/sec, 160 secs
lola: 90706 markings, 325191 edges, 629 markings/sec, 165 secs
lola: 93850 markings, 338026 edges, 629 markings/sec, 170 secs
lola: 96991 markings, 350855 edges, 628 markings/sec, 175 secs
lola: 100142 markings, 363765 edges, 630 markings/sec, 180 secs
lola: 103301 markings, 376576 edges, 632 markings/sec, 185 secs
lola: 106453 markings, 389412 edges, 630 markings/sec, 190 secs
lola: 109603 markings, 402249 edges, 630 markings/sec, 195 secs
lola: 112753 markings, 415062 edges, 630 markings/sec, 200 secs
lola: 115903 markings, 427972 edges, 630 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: 72572 KB
lola: time consumption: 800 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1095)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1095)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T08-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: 6993 markings, 7241 edges, 1399 markings/sec, 30 secs
lola: 15071 markings, 15584 edges, 1616 markings/sec, 35 secs
lola: 22549 markings, 23302 edges, 1496 markings/sec, 40 secs
lola: 30303 markings, 31338 edges, 1551 markings/sec, 45 secs
lola: 38460 markings, 39878 edges, 1631 markings/sec, 50 secs
lola: 46011 markings, 47694 edges, 1510 markings/sec, 55 secs
lola: 53872 markings, 55796 edges, 1572 markings/sec, 60 secs
lola: 61617 markings, 63897 edges, 1549 markings/sec, 65 secs
lola: 68350 markings, 70960 edges, 1347 markings/sec, 70 secs
lola: 75027 markings, 77940 edges, 1335 markings/sec, 75 secs
lola: 82786 markings, 85941 edges, 1552 markings/sec, 80 secs
lola: 90974 markings, 94482 edges, 1638 markings/sec, 85 secs
lola: 98992 markings, 102748 edges, 1604 markings/sec, 90 secs
lola: 107142 markings, 111178 edges, 1630 markings/sec, 95 secs
lola: 115563 markings, 120054 edges, 1684 markings/sec, 100 secs
lola: 123736 markings, 128681 edges, 1635 markings/sec, 105 secs
lola: 131323 markings, 136683 edges, 1517 markings/sec, 110 secs
lola: 138881 markings, 144597 edges, 1512 markings/sec, 115 secs
lola: 146431 markings, 152483 edges, 1510 markings/sec, 120 secs
lola: 153695 markings, 160012 edges, 1453 markings/sec, 125 secs
lola: 161470 markings, 168061 edges, 1555 markings/sec, 130 secs
lola: 169790 markings, 176587 edges, 1664 markings/sec, 135 secs
lola: 177398 markings, 184515 edges, 1522 markings/sec, 140 secs
lola: 185195 markings, 192686 edges, 1559 markings/sec, 145 secs
lola: 192776 markings, 200643 edges, 1516 markings/sec, 150 secs
lola: 200047 markings, 208191 edges, 1454 markings/sec, 155 secs
lola: 207109 markings, 215546 edges, 1412 markings/sec, 160 secs
lola: 215018 markings, 223871 edges, 1582 markings/sec, 165 secs
lola: 223355 markings, 232526 edges, 1667 markings/sec, 170 secs
lola: 231586 markings, 241207 edges, 1646 markings/sec, 175 secs
lola: 239150 markings, 249028 edges, 1513 markings/sec, 180 secs
lola: 247275 markings, 257424 edges, 1625 markings/sec, 185 secs
lola: 255322 markings, 265755 edges, 1609 markings/sec, 190 secs
lola: 262783 markings, 273564 edges, 1492 markings/sec, 195 secs
lola: 270319 markings, 281471 edges, 1507 markings/sec, 200 secs
lola: 278010 markings, 289517 edges, 1538 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: 108460 KB
lola: time consumption: 1013 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_2_1)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T08-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: 6957 markings, 7041 edges, 1391 markings/sec, 30 secs
lola: 13677 markings, 13829 edges, 1344 markings/sec, 35 secs
lola: 20118 markings, 20286 edges, 1288 markings/sec, 40 secs
lola: 26636 markings, 26851 edges, 1304 markings/sec, 45 secs
lola: 33500 markings, 33840 edges, 1373 markings/sec, 50 secs
lola: 40529 markings, 40944 edges, 1406 markings/sec, 55 secs
lola: 47507 markings, 48272 edges, 1396 markings/sec, 60 secs
lola: 54582 markings, 55681 edges, 1415 markings/sec, 65 secs
lola: 61664 markings, 63118 edges, 1416 markings/sec, 70 secs
lola: 68084 markings, 69570 edges, 1284 markings/sec, 75 secs
lola: 74497 markings, 75999 edges, 1283 markings/sec, 80 secs
lola: 81299 markings, 82861 edges, 1360 markings/sec, 85 secs
lola: 88024 markings, 89782 edges, 1345 markings/sec, 90 secs
lola: 94220 markings, 98007 edges, 1239 markings/sec, 95 secs
lola: 97469 markings, 109592 edges, 650 markings/sec, 100 secs
lola: 100735 markings, 121331 edges, 653 markings/sec, 105 secs
lola: 103998 markings, 132995 edges, 653 markings/sec, 110 secs
lola: 107271 markings, 144674 edges, 655 markings/sec, 115 secs
lola: 110550 markings, 156450 edges, 656 markings/sec, 120 secs
lola: 113790 markings, 168119 edges, 648 markings/sec, 125 secs
lola: 117053 markings, 179891 edges, 653 markings/sec, 130 secs
lola: 120291 markings, 191681 edges, 648 markings/sec, 135 secs
lola: 123517 markings, 203456 edges, 645 markings/sec, 140 secs
lola: 126740 markings, 215157 edges, 645 markings/sec, 145 secs
lola: 129972 markings, 226851 edges, 646 markings/sec, 150 secs
lola: 133214 markings, 238749 edges, 648 markings/sec, 155 secs
lola: 136498 markings, 250845 edges, 657 markings/sec, 160 secs
lola: 139789 markings, 262698 edges, 658 markings/sec, 165 secs
lola: 143085 markings, 274481 edges, 659 markings/sec, 170 secs
lola: 146384 markings, 286298 edges, 660 markings/sec, 175 secs
lola: 149681 markings, 298081 edges, 659 markings/sec, 180 secs
lola: 152986 markings, 309921 edges, 661 markings/sec, 185 secs
lola: 156294 markings, 321816 edges, 662 markings/sec, 190 secs
lola: 159600 markings, 333723 edges, 661 markings/sec, 195 secs
lola: 162911 markings, 345648 edges, 662 markings/sec, 200 secs
lola: 166186 markings, 357331 edges, 655 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: 83292 KB
lola: time consumption: 1226 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1119_6_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1119_6_6)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T08-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: 3866 markings, 7346 edges, 773 markings/sec, 30 secs
lola: 7286 markings, 15479 edges, 684 markings/sec, 35 secs
lola: 10699 markings, 23641 edges, 683 markings/sec, 40 secs
lola: 14117 markings, 31814 edges, 684 markings/sec, 45 secs
lola: 17537 markings, 39963 edges, 684 markings/sec, 50 secs
lola: 20956 markings, 48097 edges, 684 markings/sec, 55 secs
lola: 24367 markings, 56253 edges, 682 markings/sec, 60 secs
lola: 27778 markings, 64436 edges, 682 markings/sec, 65 secs
lola: 31188 markings, 72625 edges, 682 markings/sec, 70 secs
lola: 34597 markings, 80792 edges, 682 markings/sec, 75 secs
lola: 38013 markings, 89059 edges, 683 markings/sec, 80 secs
lola: 41425 markings, 97348 edges, 682 markings/sec, 85 secs
lola: 44840 markings, 105622 edges, 683 markings/sec, 90 secs
lola: 48255 markings, 113959 edges, 683 markings/sec, 95 secs
lola: 51669 markings, 122196 edges, 683 markings/sec, 100 secs
lola: 54892 markings, 129953 edges, 645 markings/sec, 105 secs
lola: 58299 markings, 138238 edges, 681 markings/sec, 110 secs
lola: 61715 markings, 146639 edges, 683 markings/sec, 115 secs
lola: 65122 markings, 154974 edges, 681 markings/sec, 120 secs
lola: 68547 markings, 163297 edges, 685 markings/sec, 125 secs
lola: 71966 markings, 171434 edges, 684 markings/sec, 130 secs
lola: 75380 markings, 179575 edges, 683 markings/sec, 135 secs
lola: 78802 markings, 187773 edges, 684 markings/sec, 140 secs
lola: 82223 markings, 195918 edges, 684 markings/sec, 145 secs
lola: 85641 markings, 204055 edges, 684 markings/sec, 150 secs
lola: 89058 markings, 212210 edges, 683 markings/sec, 155 secs
lola: 92478 markings, 220404 edges, 684 markings/sec, 160 secs
lola: 95900 markings, 228621 edges, 684 markings/sec, 165 secs
lola: 99315 markings, 236803 edges, 683 markings/sec, 170 secs
lola: 102734 markings, 245053 edges, 684 markings/sec, 175 secs
lola: 106154 markings, 253201 edges, 684 markings/sec, 180 secs
lola: 109571 markings, 261334 edges, 683 markings/sec, 185 secs
lola: 112986 markings, 269491 edges, 683 markings/sec, 190 secs
lola: 116394 markings, 277643 edges, 682 markings/sec, 195 secs
lola: 119775 markings, 285702 edges, 676 markings/sec, 200 secs
lola: 123152 markings, 293732 edges, 675 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: 74124 KB
lola: time consumption: 1439 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(QueueJobB_6_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(QueueJobB_6_1)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T08-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: 4315 markings, 7704 edges, 863 markings/sec, 30 secs
lola: 7635 markings, 15598 edges, 664 markings/sec, 35 secs
lola: 10934 markings, 23484 edges, 660 markings/sec, 40 secs
lola: 14233 markings, 31380 edges, 660 markings/sec, 45 secs
lola: 17540 markings, 39258 edges, 661 markings/sec, 50 secs
lola: 20814 markings, 47042 edges, 655 markings/sec, 55 secs
lola: 24137 markings, 54981 edges, 665 markings/sec, 60 secs
lola: 27473 markings, 62970 edges, 667 markings/sec, 65 secs
lola: 30815 markings, 70994 edges, 668 markings/sec, 70 secs
lola: 34155 markings, 78998 edges, 668 markings/sec, 75 secs
lola: 37497 markings, 87062 edges, 668 markings/sec, 80 secs
lola: 40839 markings, 95179 edges, 668 markings/sec, 85 secs
lola: 44169 markings, 103228 edges, 666 markings/sec, 90 secs
lola: 47478 markings, 111352 edges, 662 markings/sec, 95 secs
lola: 50820 markings, 119432 edges, 668 markings/sec, 100 secs
lola: 54149 markings, 127424 edges, 666 markings/sec, 105 secs
lola: 57476 markings, 135495 edges, 665 markings/sec, 110 secs
lola: 60806 markings, 143633 edges, 666 markings/sec, 115 secs
lola: 64142 markings, 151792 edges, 667 markings/sec, 120 secs
lola: 67485 markings, 160108 edges, 669 markings/sec, 125 secs
lola: 70827 markings, 168063 edges, 668 markings/sec, 130 secs
lola: 74190 markings, 176113 edges, 673 markings/sec, 135 secs
lola: 77538 markings, 184180 edges, 670 markings/sec, 140 secs
lola: 80918 markings, 192254 edges, 676 markings/sec, 145 secs
lola: 84279 markings, 200276 edges, 672 markings/sec, 150 secs
lola: 87647 markings, 208359 edges, 674 markings/sec, 155 secs
lola: 91015 markings, 216491 edges, 674 markings/sec, 160 secs
lola: 94373 markings, 224599 edges, 672 markings/sec, 165 secs
lola: 97736 markings, 232797 edges, 673 markings/sec, 170 secs
lola: 101097 markings, 240823 edges, 672 markings/sec, 175 secs
lola: 104459 markings, 248861 edges, 672 markings/sec, 180 secs
lola: 107802 markings, 256916 edges, 669 markings/sec, 185 secs
lola: 111164 markings, 264959 edges, 672 markings/sec, 190 secs
lola: 114513 markings, 272943 edges, 670 markings/sec, 195 secs
lola: 117861 markings, 280980 edges, 670 markings/sec, 200 secs
lola: 121224 markings, 288999 edges, 673 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: 74436 KB
lola: time consumption: 1652 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Insert_Source_B_3_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Insert_Source_B_3_5)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T08-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: 3416 markings, 9705 edges, 683 markings/sec, 30 secs
lola: 6694 markings, 19800 edges, 656 markings/sec, 35 secs
lola: 9975 markings, 30076 edges, 656 markings/sec, 40 secs
lola: 13254 markings, 40501 edges, 656 markings/sec, 45 secs
lola: 16531 markings, 52179 edges, 655 markings/sec, 50 secs
lola: 19802 markings, 63908 edges, 654 markings/sec, 55 secs
lola: 23075 markings, 75616 edges, 655 markings/sec, 60 secs
lola: 26345 markings, 87297 edges, 654 markings/sec, 65 secs
lola: 29617 markings, 99033 edges, 654 markings/sec, 70 secs
lola: 32889 markings, 110830 edges, 654 markings/sec, 75 secs
lola: 36161 markings, 122611 edges, 654 markings/sec, 80 secs
lola: 39434 markings, 134547 edges, 655 markings/sec, 85 secs
lola: 42702 markings, 146442 edges, 654 markings/sec, 90 secs
lola: 45976 markings, 158357 edges, 655 markings/sec, 95 secs
lola: 49246 markings, 170177 edges, 654 markings/sec, 100 secs
lola: 52519 markings, 182169 edges, 655 markings/sec, 105 secs
lola: 55788 markings, 194220 edges, 654 markings/sec, 110 secs
lola: 59056 markings, 206053 edges, 654 markings/sec, 115 secs
lola: 62321 markings, 217713 edges, 653 markings/sec, 120 secs
lola: 65584 markings, 229414 edges, 653 markings/sec, 125 secs
lola: 68843 markings, 241056 edges, 652 markings/sec, 130 secs
lola: 72103 markings, 252732 edges, 652 markings/sec, 135 secs
lola: 75366 markings, 264465 edges, 653 markings/sec, 140 secs
lola: 78627 markings, 276199 edges, 652 markings/sec, 145 secs
lola: 81889 markings, 288051 edges, 652 markings/sec, 150 secs
lola: 85147 markings, 299878 edges, 652 markings/sec, 155 secs
lola: 88406 markings, 311796 edges, 652 markings/sec, 160 secs
lola: 91663 markings, 323568 edges, 651 markings/sec, 165 secs
lola: 94920 markings, 335434 edges, 651 markings/sec, 170 secs
lola: 98176 markings, 347394 edges, 651 markings/sec, 175 secs
lola: 101439 markings, 359360 edges, 653 markings/sec, 180 secs
lola: 104706 markings, 371014 edges, 653 markings/sec, 185 secs
lola: 107972 markings, 382759 edges, 653 markings/sec, 190 secs
lola: 111236 markings, 394410 edges, 653 markings/sec, 195 secs
lola: 114497 markings, 406058 edges, 652 markings/sec, 200 secs
lola: 117756 markings, 417765 edges, 652 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: 73584 KB
lola: time consumption: 1866 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(DataOnSrc_6 + DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DataOnSrc_6 + DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1)
lola: processed formula length: 86
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T08-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: 3231 markings, 10624 edges, 646 markings/sec, 30 secs
lola: 6425 markings, 21461 edges, 639 markings/sec, 35 secs
lola: 9603 markings, 32257 edges, 636 markings/sec, 40 secs
lola: 12784 markings, 43314 edges, 636 markings/sec, 45 secs
lola: 15962 markings, 54403 edges, 636 markings/sec, 50 secs
lola: 19291 markings, 63038 edges, 666 markings/sec, 55 secs
lola: 22638 markings, 72143 edges, 669 markings/sec, 60 secs
lola: 25930 markings, 82507 edges, 658 markings/sec, 65 secs
lola: 29232 markings, 92375 edges, 660 markings/sec, 70 secs
lola: 32474 markings, 103276 edges, 648 markings/sec, 75 secs
lola: 35724 markings, 114344 edges, 650 markings/sec, 80 secs
lola: 38963 markings, 125543 edges, 648 markings/sec, 85 secs
lola: 42379 markings, 133267 edges, 683 markings/sec, 90 secs
lola: 45689 markings, 143279 edges, 662 markings/sec, 95 secs
lola: 49047 markings, 152429 edges, 672 markings/sec, 100 secs
lola: 52507 markings, 159884 edges, 692 markings/sec, 105 secs
lola: 55866 markings, 168967 edges, 672 markings/sec, 110 secs
lola: 59104 markings, 179965 edges, 648 markings/sec, 115 secs
lola: 62353 markings, 190912 edges, 650 markings/sec, 120 secs
lola: 65604 markings, 202124 edges, 650 markings/sec, 125 secs
lola: 69008 markings, 210275 edges, 681 markings/sec, 130 secs
lola: 72324 markings, 220013 edges, 663 markings/sec, 135 secs
lola: 75651 markings, 229373 edges, 665 markings/sec, 140 secs
lola: 78881 markings, 240085 edges, 646 markings/sec, 145 secs
lola: 82143 markings, 250919 edges, 652 markings/sec, 150 secs
lola: 85478 markings, 260644 edges, 667 markings/sec, 155 secs
lola: 88836 markings, 269798 edges, 672 markings/sec, 160 secs
lola: 92083 markings, 280460 edges, 649 markings/sec, 165 secs
lola: 95345 markings, 291318 edges, 652 markings/sec, 170 secs
lola: 98674 markings, 300989 edges, 666 markings/sec, 175 secs
lola: 101926 markings, 311701 edges, 650 markings/sec, 180 secs
lola: 105196 markings, 322449 edges, 654 markings/sec, 185 secs
lola: 108536 markings, 332053 edges, 668 markings/sec, 190 secs
lola: 111835 markings, 342365 edges, 660 markings/sec, 195 secs
lola: 115119 markings, 352958 edges, 657 markings/sec, 200 secs
lola: 118375 markings, 363940 edges, 651 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: 74856 KB
lola: time consumption: 2078 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ScheduleTaskB_1 + ScheduleTaskB_2 + ScheduleTaskB_3 + ScheduleTaskB_4 + ScheduleTaskB_5 + ScheduleTaskB_6 + ScheduleTaskB_7 + ScheduleTaskB_8)
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 + ScheduleTaskB_7 + ScheduleTaskB_8)
lola: processed formula length: 146
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T08-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: 5018 markings, 5553 edges, 1004 markings/sec, 30 secs
lola: 10071 markings, 11089 edges, 1011 markings/sec, 35 secs
lola: 15154 markings, 16557 edges, 1017 markings/sec, 40 secs
lola: 20196 markings, 22464 edges, 1008 markings/sec, 45 secs
lola: 25242 markings, 28136 edges, 1009 markings/sec, 50 secs
lola: 30298 markings, 33770 edges, 1011 markings/sec, 55 secs
lola: 35358 markings, 39452 edges, 1012 markings/sec, 60 secs
lola: 40433 markings, 45473 edges, 1015 markings/sec, 65 secs
lola: 45508 markings, 51293 edges, 1015 markings/sec, 70 secs
lola: 50614 markings, 57144 edges, 1021 markings/sec, 75 secs
lola: 55660 markings, 62759 edges, 1009 markings/sec, 80 secs
lola: 60753 markings, 68669 edges, 1019 markings/sec, 85 secs
lola: 65833 markings, 74312 edges, 1016 markings/sec, 90 secs
lola: 70924 markings, 80266 edges, 1018 markings/sec, 95 secs
lola: 75990 markings, 85942 edges, 1013 markings/sec, 100 secs
lola: 81099 markings, 91542 edges, 1022 markings/sec, 105 secs
lola: 86219 markings, 97240 edges, 1024 markings/sec, 110 secs
lola: 91300 markings, 102984 edges, 1016 markings/sec, 115 secs
lola: 96372 markings, 108527 edges, 1014 markings/sec, 120 secs
lola: 101456 markings, 114076 edges, 1017 markings/sec, 125 secs
lola: 106501 markings, 119765 edges, 1009 markings/sec, 130 secs
lola: 111564 markings, 125499 edges, 1013 markings/sec, 135 secs
lola: 116634 markings, 131434 edges, 1014 markings/sec, 140 secs
lola: 121683 markings, 137358 edges, 1010 markings/sec, 145 secs
lola: 126736 markings, 143639 edges, 1011 markings/sec, 150 secs
lola: 131865 markings, 149414 edges, 1026 markings/sec, 155 secs
lola: 136953 markings, 155510 edges, 1018 markings/sec, 160 secs
lola: 141978 markings, 161178 edges, 1005 markings/sec, 165 secs
lola: 147019 markings, 166834 edges, 1008 markings/sec, 170 secs
lola: 152112 markings, 172357 edges, 1019 markings/sec, 175 secs
lola: 157150 markings, 178161 edges, 1008 markings/sec, 180 secs
lola: 162165 markings, 183962 edges, 1003 markings/sec, 185 secs
lola: 167220 markings, 189678 edges, 1011 markings/sec, 190 secs
lola: 172267 markings, 195638 edges, 1009 markings/sec, 195 secs
lola: 177304 markings, 201257 edges, 1007 markings/sec, 200 secs
lola: 182376 markings, 206822 edges, 1014 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: 86412 KB
lola: time consumption: 2291 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1158_1 + P_1158_2 + P_1158_3 + P_1158_4 + P_1158_5 + P_1158_6 + P_1158_7 + P_1158_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1158_1 + P_1158_2 + P_1158_3 + P_1158_4 + P_1158_5 + P_1158_6 + P_1158_7 + P_1158_8)
lola: processed formula length: 90
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T08-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: 5176 markings, 5358 edges, 1035 markings/sec, 30 secs
lola: 10319 markings, 10576 edges, 1029 markings/sec, 35 secs
lola: 15475 markings, 15868 edges, 1031 markings/sec, 40 secs
lola: 20602 markings, 21221 edges, 1025 markings/sec, 45 secs
lola: 25774 markings, 26647 edges, 1034 markings/sec, 50 secs
lola: 30948 markings, 32001 edges, 1035 markings/sec, 55 secs
lola: 36212 markings, 37395 edges, 1053 markings/sec, 60 secs
lola: 41428 markings, 42754 edges, 1043 markings/sec, 65 secs
lola: 46596 markings, 48059 edges, 1034 markings/sec, 70 secs
lola: 51800 markings, 53417 edges, 1041 markings/sec, 75 secs
lola: 57038 markings, 58831 edges, 1048 markings/sec, 80 secs
lola: 62282 markings, 64172 edges, 1049 markings/sec, 85 secs
lola: 67543 markings, 69671 edges, 1052 markings/sec, 90 secs
lola: 72784 markings, 75103 edges, 1048 markings/sec, 95 secs
lola: 78031 markings, 80493 edges, 1049 markings/sec, 100 secs
lola: 83212 markings, 85781 edges, 1036 markings/sec, 105 secs
lola: 88393 markings, 91151 edges, 1036 markings/sec, 110 secs
lola: 93647 markings, 96574 edges, 1051 markings/sec, 115 secs
lola: 98872 markings, 102001 edges, 1045 markings/sec, 120 secs
lola: 103977 markings, 107505 edges, 1021 markings/sec, 125 secs
lola: 109093 markings, 112980 edges, 1023 markings/sec, 130 secs
lola: 114306 markings, 118354 edges, 1043 markings/sec, 135 secs
lola: 119514 markings, 123762 edges, 1042 markings/sec, 140 secs
lola: 124701 markings, 129092 edges, 1037 markings/sec, 145 secs
lola: 129880 markings, 134463 edges, 1036 markings/sec, 150 secs
lola: 135140 markings, 140041 edges, 1052 markings/sec, 155 secs
lola: 140440 markings, 145561 edges, 1060 markings/sec, 160 secs
lola: 145608 markings, 150886 edges, 1034 markings/sec, 165 secs
lola: 150837 markings, 156346 edges, 1046 markings/sec, 170 secs
lola: 156069 markings, 161792 edges, 1046 markings/sec, 175 secs
lola: 161260 markings, 167323 edges, 1038 markings/sec, 180 secs
lola: 166419 markings, 172637 edges, 1032 markings/sec, 185 secs
lola: 171606 markings, 177967 edges, 1037 markings/sec, 190 secs
lola: 176835 markings, 183412 edges, 1046 markings/sec, 195 secs
lola: 182118 markings, 188879 edges, 1057 markings/sec, 200 secs
lola: 187347 markings, 194264 edges, 1046 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: 90304 KB
lola: time consumption: 2504 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(QueueJobE_1 + QueueJobE_2 + QueueJobE_3 + QueueJobE_4 + QueueJobE_5 + QueueJobE_6 + QueueJobE_7 + QueueJobE_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(QueueJobE_1 + QueueJobE_2 + QueueJobE_3 + QueueJobE_4 + QueueJobE_5 + QueueJobE_6 + QueueJobE_7 + QueueJobE_8)
lola: processed formula length: 114
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T08-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: 5253 markings, 5435 edges, 1051 markings/sec, 30 secs
lola: 10518 markings, 10805 edges, 1053 markings/sec, 35 secs
lola: 15785 markings, 16260 edges, 1053 markings/sec, 40 secs
lola: 21044 markings, 21743 edges, 1052 markings/sec, 45 secs
lola: 26317 markings, 27309 edges, 1055 markings/sec, 50 secs
lola: 31626 markings, 32782 edges, 1062 markings/sec, 55 secs
lola: 37015 markings, 38347 edges, 1078 markings/sec, 60 secs
lola: 42324 markings, 43841 edges, 1062 markings/sec, 65 secs
lola: 47589 markings, 49272 edges, 1053 markings/sec, 70 secs
lola: 52942 markings, 54863 edges, 1071 markings/sec, 75 secs
lola: 58289 markings, 60426 edges, 1069 markings/sec, 80 secs
lola: 63641 markings, 65945 edges, 1070 markings/sec, 85 secs
lola: 68983 markings, 71500 edges, 1068 markings/sec, 90 secs
lola: 74347 markings, 77070 edges, 1073 markings/sec, 95 secs
lola: 79682 markings, 82579 edges, 1067 markings/sec, 100 secs
lola: 84964 markings, 88039 edges, 1056 markings/sec, 105 secs
lola: 90289 markings, 93556 edges, 1065 markings/sec, 110 secs
lola: 95623 markings, 99139 edges, 1067 markings/sec, 115 secs
lola: 100974 markings, 104749 edges, 1070 markings/sec, 120 secs
lola: 106153 markings, 110438 edges, 1036 markings/sec, 125 secs
lola: 111453 markings, 115980 edges, 1060 markings/sec, 130 secs
lola: 116759 markings, 121530 edges, 1061 markings/sec, 135 secs
lola: 122085 markings, 127047 edges, 1065 markings/sec, 140 secs
lola: 127363 markings, 132491 edges, 1056 markings/sec, 145 secs
lola: 132639 markings, 138062 edges, 1055 markings/sec, 150 secs
lola: 137998 markings, 143722 edges, 1072 markings/sec, 155 secs
lola: 143398 markings, 149367 edges, 1080 markings/sec, 160 secs
lola: 148777 markings, 154986 edges, 1076 markings/sec, 165 secs
lola: 154164 markings, 160598 edges, 1077 markings/sec, 170 secs
lola: 159467 markings, 166266 edges, 1061 markings/sec, 175 secs
lola: 164789 markings, 171846 edges, 1064 markings/sec, 180 secs
lola: 170148 markings, 177372 edges, 1072 markings/sec, 185 secs
lola: 175475 markings, 182909 edges, 1065 markings/sec, 190 secs
lola: 180814 markings, 188461 edges, 1068 markings/sec, 195 secs
lola: 186138 markings, 193994 edges, 1065 markings/sec, 200 secs
lola: 191454 markings, 199561 edges, 1063 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: 90352 KB
lola: time consumption: 2717 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ScheduleTaskE_Idle_1 + ScheduleTaskE_Idle_2 + ScheduleTaskE_Idle_3 + ScheduleTaskE_Idle_4 + ScheduleTaskE_Idle_5 + ScheduleTaskE_Idle_6 + ScheduleTaskE_Idle_7 + ScheduleTaskE_Idle_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ScheduleTaskE_Idle_1 + ScheduleTaskE_Idle_2 + ScheduleTaskE_Idle_3 + ScheduleTaskE_Idle_4 + ScheduleTaskE_Idle_5 + ScheduleTaskE_Idle_6 + ScheduleTaskE_Idle_7 + ScheduleTaskE_Idle_8)
lola: processed formula length: 186
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T08-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: 4928 markings, 5289 edges, 986 markings/sec, 30 secs
lola: 10016 markings, 11030 edges, 1018 markings/sec, 35 secs
lola: 14982 markings, 16309 edges, 993 markings/sec, 40 secs
lola: 19966 markings, 22045 edges, 997 markings/sec, 45 secs
lola: 25032 markings, 27515 edges, 1013 markings/sec, 50 secs
lola: 30094 markings, 33087 edges, 1012 markings/sec, 55 secs
lola: 35138 markings, 38654 edges, 1009 markings/sec, 60 secs
lola: 40183 markings, 44515 edges, 1009 markings/sec, 65 secs
lola: 45196 markings, 49993 edges, 1003 markings/sec, 70 secs
lola: 50226 markings, 55690 edges, 1006 markings/sec, 75 secs
lola: 55214 markings, 60952 edges, 998 markings/sec, 80 secs
lola: 60222 markings, 66594 edges, 1002 markings/sec, 85 secs
lola: 65214 markings, 72234 edges, 998 markings/sec, 90 secs
lola: 70198 markings, 77933 edges, 997 markings/sec, 95 secs
lola: 75161 markings, 83430 edges, 993 markings/sec, 100 secs
lola: 80209 markings, 88954 edges, 1010 markings/sec, 105 secs
lola: 85183 markings, 94510 edges, 995 markings/sec, 110 secs
lola: 90223 markings, 100078 edges, 1008 markings/sec, 115 secs
lola: 95254 markings, 105954 edges, 1006 markings/sec, 120 secs
lola: 100295 markings, 112044 edges, 1008 markings/sec, 125 secs
lola: 105314 markings, 117906 edges, 1004 markings/sec, 130 secs
lola: 110298 markings, 123610 edges, 997 markings/sec, 135 secs
lola: 115194 markings, 129159 edges, 979 markings/sec, 140 secs
lola: 120190 markings, 134672 edges, 999 markings/sec, 145 secs
lola: 125226 markings, 140224 edges, 1007 markings/sec, 150 secs
lola: 130238 markings, 145861 edges, 1002 markings/sec, 155 secs
lola: 135290 markings, 151468 edges, 1010 markings/sec, 160 secs
lola: 140299 markings, 157246 edges, 1002 markings/sec, 165 secs
lola: 145325 markings, 162712 edges, 1005 markings/sec, 170 secs
lola: 150365 markings, 168526 edges, 1008 markings/sec, 175 secs
lola: 155380 markings, 174367 edges, 1003 markings/sec, 180 secs
lola: 160406 markings, 180171 edges, 1005 markings/sec, 185 secs
lola: 165457 markings, 185853 edges, 1010 markings/sec, 190 secs
lola: 170410 markings, 191550 edges, 991 markings/sec, 195 secs
lola: 175377 markings, 197366 edges, 993 markings/sec, 200 secs
lola: 180342 markings, 203078 edges, 993 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: 85872 KB
lola: time consumption: 2930 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1119_1_1 + P_1119_1_2 + P_1119_1_3 + P_1119_1_4 + P_1119_1_5 + P_1119_1_6 + P_1119_2_1 + P_1119_2_2 + P_1119_2_3 + P_1119_2_4 + P_1119_2_5 + P_1119_2_6 + P_1119_3_1 + P_1119_3_2 + P_1119_3_3 + P_1119_3_4 + P_1119_3_5 + P_1119_3_6 + P_1119_4_1 + P_1119_4_2 + P_1119_4_3 + P_1119_4_4 + P_1119_4_5 + P_1119_4_6 + P_1119_5_1 + P_1119_5_2 + P_1119_5_3 + P_1119_5_4 + P_1119_5_5 + P_1119_5_6 + P_1119... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1119_1_1 + P_1119_1_2 + P_1119_1_3 + P_1119_1_4 + P_1119_1_5 + P_1119_1_6 + P_1119_2_1 + P_1119_2_2 + P_1119_2_3 + P_1119_2_4 + P_1119_2_5 + P_1119_2_6 + P_1119_3_1 + P_1119_3_2 + P_1119_3_3 + P_1119_3_4 + P_1119_3_5 + P_1119_3_6 + P_1119_4_1 + P_1119_4_2 + P_1119_4_3 + P_1119_4_4 + P_1119_4_5 + P_1119_4_6 + P_1119_5_1 + P_1119_5_2 + P_1119_5_3 + P_1119_5_4 + P_1119_5_5 + P_1119_5_6 + P_1119... (shortened)
lola: processed formula length: 626
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T08-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: 7970 markings, 8181 edges, 1594 markings/sec, 30 secs
lola: 16198 markings, 16756 edges, 1646 markings/sec, 35 secs
lola: 24202 markings, 24978 edges, 1601 markings/sec, 40 secs
lola: 32397 markings, 33497 edges, 1639 markings/sec, 45 secs
lola: 40575 markings, 41889 edges, 1636 markings/sec, 50 secs
lola: 48778 markings, 50496 edges, 1641 markings/sec, 55 secs
lola: 56821 markings, 58884 edges, 1609 markings/sec, 60 secs
lola: 64945 markings, 67391 edges, 1625 markings/sec, 65 secs
lola: 73005 markings, 75847 edges, 1612 markings/sec, 70 secs
lola: 81231 markings, 84521 edges, 1645 markings/sec, 75 secs
lola: 89453 markings, 93139 edges, 1644 markings/sec, 80 secs
lola: 97585 markings, 101755 edges, 1626 markings/sec, 85 secs
lola: 105568 markings, 109957 edges, 1597 markings/sec, 90 secs
lola: 113637 markings, 118372 edges, 1614 markings/sec, 95 secs
lola: 121715 markings, 126726 edges, 1616 markings/sec, 100 secs
lola: 129959 markings, 135313 edges, 1649 markings/sec, 105 secs
lola: 138025 markings, 143684 edges, 1613 markings/sec, 110 secs
lola: 146036 markings, 152067 edges, 1602 markings/sec, 115 secs
lola: 154237 markings, 160547 edges, 1640 markings/sec, 120 secs
lola: 162354 markings, 169116 edges, 1623 markings/sec, 125 secs
lola: 170475 markings, 177698 edges, 1624 markings/sec, 130 secs
lola: 178548 markings, 186127 edges, 1615 markings/sec, 135 secs
lola: 186715 markings, 194549 edges, 1633 markings/sec, 140 secs
lola: 194895 markings, 202995 edges, 1636 markings/sec, 145 secs
lola: 203094 markings, 211530 edges, 1640 markings/sec, 150 secs
lola: 211105 markings, 219854 edges, 1602 markings/sec, 155 secs
lola: 219004 markings, 228108 edges, 1580 markings/sec, 160 secs
lola: 227223 markings, 236682 edges, 1644 markings/sec, 165 secs
lola: 235249 markings, 245043 edges, 1605 markings/sec, 170 secs
lola: 243354 markings, 253541 edges, 1621 markings/sec, 175 secs
lola: 251365 markings, 261898 edges, 1602 markings/sec, 180 secs
lola: 259483 markings, 270312 edges, 1624 markings/sec, 185 secs
lola: 267509 markings, 278787 edges, 1605 markings/sec, 190 secs
lola: 275521 markings, 287207 edges, 1602 markings/sec, 195 secs
lola: 283430 markings, 295353 edges, 1582 markings/sec, 200 secs
lola: 291516 markings, 303925 edges, 1617 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: 111532 KB
lola: time consumption: 3143 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Insert_Source_B_1_1 + Insert_Source_B_1_2 + Insert_Source_B_1_3 + Insert_Source_B_1_4 + Insert_Source_B_1_5 + Insert_Source_B_1_6 + Insert_Source_B_2_1 + Insert_Source_B_2_2 + Insert_Source_B_2_3 + Insert_Source_B_2_4 + Insert_Source_B_2_5 + Insert_Source_B_2_6 + Insert_Source_B_3_1 + Insert_Source_B_3_2 + Insert_Source_B_3_3 + Insert_Source_B_3_4 + Insert_Source_B_3_5 + Insert_Source_B_3_6 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Insert_Source_B_1_1 + Insert_Source_B_1_2 + Insert_Source_B_1_3 + Insert_Source_B_1_4 + Insert_Source_B_1_5 + Insert_Source_B_1_6 + Insert_Source_B_2_1 + Insert_Source_B_2_2 + Insert_Source_B_2_3 + Insert_Source_B_2_4 + Insert_Source_B_2_5 + Insert_Source_B_2_6 + Insert_Source_B_3_1 + Insert_Source_B_3_2 + Insert_Source_B_3_3 + Insert_Source_B_3_4 + Insert_Source_B_3_5 + Insert_Source_B_3_6 + ... (shortened)
lola: processed formula length: 1058
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T08-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: 3258 markings, 11269 edges, 652 markings/sec, 30 secs
lola: 6478 markings, 22869 edges, 644 markings/sec, 35 secs
lola: 9699 markings, 34494 edges, 644 markings/sec, 40 secs
lola: 12949 markings, 44465 edges, 650 markings/sec, 45 secs
lola: 16199 markings, 54615 edges, 650 markings/sec, 50 secs
lola: 19437 markings, 65575 edges, 648 markings/sec, 55 secs
lola: 22684 markings, 75992 edges, 649 markings/sec, 60 secs
lola: 25923 markings, 86429 edges, 648 markings/sec, 65 secs
lola: 29145 markings, 97565 edges, 644 markings/sec, 70 secs
lola: 32367 markings, 109183 edges, 644 markings/sec, 75 secs
lola: 35584 markings, 120803 edges, 643 markings/sec, 80 secs
lola: 38824 markings, 131026 edges, 648 markings/sec, 85 secs
lola: 42067 markings, 141223 edges, 649 markings/sec, 90 secs
lola: 45298 markings, 152163 edges, 646 markings/sec, 95 secs
lola: 48532 markings, 162407 edges, 647 markings/sec, 100 secs
lola: 51771 markings, 172842 edges, 648 markings/sec, 105 secs
lola: 55003 markings, 183786 edges, 646 markings/sec, 110 secs
lola: 58220 markings, 195411 edges, 643 markings/sec, 115 secs
lola: 61486 markings, 205886 edges, 653 markings/sec, 120 secs
lola: 64772 markings, 216391 edges, 657 markings/sec, 125 secs
lola: 68056 markings, 227070 edges, 657 markings/sec, 130 secs
lola: 71338 markings, 237918 edges, 656 markings/sec, 135 secs
lola: 74618 markings, 249105 edges, 656 markings/sec, 140 secs
lola: 77905 markings, 259865 edges, 657 markings/sec, 145 secs
lola: 81195 markings, 270639 edges, 658 markings/sec, 150 secs
lola: 84471 markings, 281843 edges, 655 markings/sec, 155 secs
lola: 87761 markings, 292529 edges, 658 markings/sec, 160 secs
lola: 91050 markings, 303364 edges, 658 markings/sec, 165 secs
lola: 94303 markings, 314296 edges, 651 markings/sec, 170 secs
lola: 97518 markings, 324846 edges, 643 markings/sec, 175 secs
lola: 100774 markings, 335732 edges, 651 markings/sec, 180 secs
lola: 104034 markings, 346582 edges, 652 markings/sec, 185 secs
lola: 107296 markings, 357277 edges, 652 markings/sec, 190 secs
lola: 110565 markings, 368077 edges, 654 markings/sec, 195 secs
lola: 113826 markings, 378812 edges, 652 markings/sec, 200 secs
lola: 117092 markings, 389528 edges, 653 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: 73724 KB
lola: time consumption: 3356 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(QueueJobB_1_0 + QueueJobB_1_1 + QueueJobB_1_2 + QueueJobB_1_3 + QueueJobB_1_4 + QueueJobB_1_5 + QueueJobB_1_6 + QueueJobB_2_0 + QueueJobB_2_1 + QueueJobB_2_2 + QueueJobB_2_3 + QueueJobB_2_4 + QueueJobB_2_5 + QueueJobB_2_6 + QueueJobB_3_0 + QueueJobB_3_1 + QueueJobB_3_2 + QueueJobB_3_3 + QueueJobB_3_4 + QueueJobB_3_5 + QueueJobB_3_6 + QueueJobB_4_0 + QueueJobB_4_1 + QueueJobB_4_2 + QueueJobB_4_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(QueueJobB_1_0 + QueueJobB_1_1 + QueueJobB_1_2 + QueueJobB_1_3 + QueueJobB_1_4 + QueueJobB_1_5 + QueueJobB_1_6 + QueueJobB_2_0 + QueueJobB_2_1 + QueueJobB_2_2 + QueueJobB_2_3 + QueueJobB_2_4 + QueueJobB_2_5 + QueueJobB_2_6 + QueueJobB_3_0 + QueueJobB_3_1 + QueueJobB_3_2 + QueueJobB_3_3 + QueueJobB_3_4 + QueueJobB_3_5 + QueueJobB_3_6 + QueueJobB_4_0 + QueueJobB_4_1 + QueueJobB_4_2 + QueueJobB_4_... (shortened)
lola: processed formula length: 898
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T08-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: 5535 markings, 5689 edges, 1107 markings/sec, 30 secs
lola: 11181 markings, 11435 edges, 1129 markings/sec, 35 secs
lola: 16886 markings, 17221 edges, 1141 markings/sec, 40 secs
lola: 22357 markings, 22796 edges, 1094 markings/sec, 45 secs
lola: 28163 markings, 28683 edges, 1161 markings/sec, 50 secs
lola: 33890 markings, 34529 edges, 1145 markings/sec, 55 secs
lola: 39314 markings, 40094 edges, 1085 markings/sec, 60 secs
lola: 44753 markings, 45886 edges, 1088 markings/sec, 65 secs
lola: 50416 markings, 51728 edges, 1133 markings/sec, 70 secs
lola: 55929 markings, 57513 edges, 1103 markings/sec, 75 secs
lola: 61616 markings, 63282 edges, 1137 markings/sec, 80 secs
lola: 67131 markings, 68975 edges, 1103 markings/sec, 85 secs
lola: 72856 markings, 74805 edges, 1145 markings/sec, 90 secs
lola: 78485 markings, 80608 edges, 1126 markings/sec, 95 secs
lola: 84257 markings, 86447 edges, 1154 markings/sec, 100 secs
lola: 89742 markings, 92122 edges, 1097 markings/sec, 105 secs
lola: 95414 markings, 97913 edges, 1134 markings/sec, 110 secs
lola: 101096 markings, 103677 edges, 1136 markings/sec, 115 secs
lola: 106731 markings, 109418 edges, 1127 markings/sec, 120 secs
lola: 112280 markings, 115113 edges, 1110 markings/sec, 125 secs
lola: 117937 markings, 120863 edges, 1131 markings/sec, 130 secs
lola: 123002 markings, 126279 edges, 1013 markings/sec, 135 secs
lola: 128289 markings, 132093 edges, 1057 markings/sec, 140 secs
lola: 133383 markings, 137543 edges, 1019 markings/sec, 145 secs
lola: 138791 markings, 143153 edges, 1082 markings/sec, 150 secs
lola: 144381 markings, 148847 edges, 1118 markings/sec, 155 secs
lola: 149612 markings, 154205 edges, 1046 markings/sec, 160 secs
lola: 155319 markings, 160013 edges, 1141 markings/sec, 165 secs
lola: 160534 markings, 165373 edges, 1043 markings/sec, 170 secs
lola: 166021 markings, 170999 edges, 1097 markings/sec, 175 secs
lola: 171359 markings, 176509 edges, 1068 markings/sec, 180 secs
lola: 176676 markings, 181945 edges, 1063 markings/sec, 185 secs
lola: 182097 markings, 187497 edges, 1084 markings/sec, 190 secs
lola: 187150 markings, 192701 edges, 1011 markings/sec, 195 secs
lola: 192684 markings, 198325 edges, 1107 markings/sec, 200 secs
lola: 198114 markings, 203941 edges, 1086 markings/sec, 205 secs
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:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 94848 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 94848 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA

BK_STOP 1527116607177

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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