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)
...........
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is PolyORBNT-PT-S05J60, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926200119
=====================================================================

--------------------
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 PolyORBNT-COL-S05J60-UpperBounds-0
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-1
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-10
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-11
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-12
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-13
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-14
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-15
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-2
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-3
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-4
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-5
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-6
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-7
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-8
FORMULA_NAME PolyORBNT-COL-S05J60-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494716127681


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBNT-PT-S05J60 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2879/65536 symbol table entries, 182 collisions
lola: preprocessing...
lola: finding significant places
lola: 909 places, 1970 transitions, 767 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1668 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S05J60-UpperBounds.task
lola: MAX(place_456) : MAX(CreatedJobs_29_1 + CreatedJobs_29_2 + CreatedJobs_29_3 + CreatedJobs_29_4 + CreatedJobs_29_5 + CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_0_3 + CreatedJobs_0_4 + CreatedJobs_0_5 + CreatedJobs_52_1 + CreatedJobs_52_2 + CreatedJobs_52_3 + CreatedJobs_52_4 + CreatedJobs_52_5 + CreatedJobs_17_1 + CreatedJobs_17_2 + CreatedJobs_17_3 + CreatedJobs_17_4 + CreatedJobs_17_5 + CreatedJobs_1_1 + CreatedJobs_1_2 + CreatedJobs_1_3 + CreatedJobs_1_4 + CreatedJobs_1_5 + CreatedJobs_53_1 + CreatedJobs_53_2 + CreatedJobs_53_3 + CreatedJobs_53_4 + CreatedJobs_53_5 + CreatedJobs_40_1 + CreatedJobs_40_2 + CreatedJobs_40_3 + CreatedJobs_40_4 + CreatedJobs_40_5 + CreatedJobs_18_1 + CreatedJobs_18_2 + CreatedJobs_18_3 + CreatedJobs_18_4 + CreatedJobs_18_5 + CreatedJobs_2_1 + CreatedJobs_2_2 + CreatedJobs_2_3 + CreatedJobs_2_4 + CreatedJobs_2_5 + CreatedJobs_54_1 + CreatedJobs_54_2 + CreatedJobs_54_3 + CreatedJobs_54_4 + CreatedJobs_54_5 + CreatedJobs_41_1 + CreatedJobs_41_2 + CreatedJobs_41_3 + CreatedJobs_41_4 + CreatedJobs_41_5 + CreatedJobs_19_1 + CreatedJobs_19_2 + CreatedJobs_19_3 + CreatedJobs_19_4 + CreatedJobs_19_5 + CreatedJobs_3_1 + CreatedJobs_3_2 + CreatedJobs_3_3 + CreatedJobs_3_4 + CreatedJobs_3_5 + CreatedJobs_55_1 + CreatedJobs_55_2 + CreatedJobs_55_3 + CreatedJobs_55_4 + CreatedJobs_55_5 + CreatedJobs_42_1 + CreatedJobs_42_2 + CreatedJobs_42_3 + CreatedJobs_42_4 + CreatedJobs_42_5 + CreatedJobs_4_1 + CreatedJobs_4_2 + CreatedJobs_4_3 + CreatedJobs_4_4 + CreatedJobs_4_5 + CreatedJobs_56_1 + CreatedJobs_56_2 + CreatedJobs_56_3 + CreatedJobs_56_4 + CreatedJobs_56_5 + CreatedJobs_43_1 + CreatedJobs_43_2 + CreatedJobs_43_3 + CreatedJobs_43_4 + CreatedJobs_43_5 + CreatedJobs_30_1 + CreatedJobs_30_2 + CreatedJobs_30_3 + CreatedJobs_30_4 + CreatedJobs_30_5 + CreatedJobs_5_1 + CreatedJobs_5_2 + CreatedJobs_5_3 + CreatedJobs_5_4 + CreatedJobs_5_5 + CreatedJobs_57_1 + CreatedJobs_57_2 + CreatedJobs_57_3 + CreatedJobs_57_4 + CreatedJobs_57_5 + CreatedJobs_44_1 + CreatedJobs_44_2 + CreatedJobs_44_3 + CreatedJobs_44_4 + CreatedJobs_44_5 + CreatedJobs_31_1 + CreatedJobs_31_2 + CreatedJobs_31_3 + CreatedJobs_31_4 + CreatedJobs_31_5 + CreatedJobs_6_1 + CreatedJobs_6_2 + CreatedJobs_6_3 + CreatedJobs_6_4 + CreatedJobs_6_5 + CreatedJobs_58_1 + CreatedJobs_58_2 + CreatedJobs_58_3 + CreatedJobs_58_4 + CreatedJobs_58_5 + CreatedJobs_45_1 + CreatedJobs_45_2 + CreatedJobs_45_3 + CreatedJobs_45_4 + CreatedJobs_45_5 + CreatedJobs_32_1 + CreatedJobs_32_2 + CreatedJobs_32_3 + CreatedJobs_32_4 + CreatedJobs_32_5 + CreatedJobs_7_1 + CreatedJobs_7_2 + CreatedJobs_7_3 + CreatedJobs_7_4 + CreatedJobs_7_5 + CreatedJobs_59_1 + CreatedJobs_59_2 + CreatedJobs_59_3 + CreatedJobs_59_4 + CreatedJobs_59_5 + CreatedJobs_46_1 + CreatedJobs_46_2 + CreatedJobs_46_3 + CreatedJobs_46_4 + CreatedJobs_46_5 + CreatedJobs_33_1 + CreatedJobs_33_2 + CreatedJobs_33_3 + CreatedJobs_33_4 + CreatedJobs_33_5 + CreatedJobs_20_1 + CreatedJobs_20_2 + CreatedJobs_20_3 + CreatedJobs_20_4 + CreatedJobs_20_5 + CreatedJobs_8_1 + CreatedJobs_8_2 + CreatedJobs_8_3 + CreatedJobs_8_4 + CreatedJobs_8_5 + CreatedJobs_47_1 + CreatedJobs_47_2 + CreatedJobs_47_3 + CreatedJobs_47_4 + CreatedJobs_47_5 + CreatedJobs_34_1 + CreatedJobs_34_2 + CreatedJobs_34_3 + CreatedJobs_34_4 + CreatedJobs_34_5 + CreatedJobs_21_1 + CreatedJobs_21_2 + CreatedJobs_21_3 + CreatedJobs_21_4 + CreatedJobs_21_5 + CreatedJobs_15_4 + CreatedJobs_15_3 + CreatedJobs_15_2 + CreatedJobs_15_1 + CreatedJobs_9_1 + CreatedJobs_9_2 + CreatedJobs_9_3 + CreatedJobs_9_4 + CreatedJobs_9_5 + CreatedJobs_48_1 + CreatedJobs_48_2 + CreatedJobs_48_3 + CreatedJobs_48_4 + CreatedJobs_35_1 + CreatedJobs_35_2 + CreatedJobs_35_3 + CreatedJobs_35_4 + CreatedJobs_22_1 + CreatedJobs_22_2 + CreatedJobs_22_3 + CreatedJobs_22_4 + CreatedJobs_49_1 + CreatedJobs_49_2 + CreatedJobs_49_3 + CreatedJobs_49_4 + CreatedJobs_36_1 + CreatedJobs_36_2 + CreatedJobs_36_3 + CreatedJobs_36_4 + CreatedJobs_23_1 + CreatedJobs_23_2 + CreatedJobs_23_3 + CreatedJobs_23_4 + CreatedJobs_10_1 + CreatedJobs_10_2 + CreatedJobs_10_3 + CreatedJobs_10_4 + CreatedJobs_37_1 + CreatedJobs_37_2 + CreatedJobs_37_3 + CreatedJobs_37_4 + CreatedJobs_24_1 + CreatedJobs_24_2 + CreatedJobs_24_3 + CreatedJobs_24_4 + CreatedJobs_11_1 + CreatedJobs_11_2 + CreatedJobs_11_3 + CreatedJobs_11_4 + CreatedJobs_60_1 + CreatedJobs_60_2 + CreatedJobs_60_3 + CreatedJobs_60_4 + CreatedJobs_28_4 + CreatedJobs_38_1 + CreatedJobs_38_2 + CreatedJobs_38_3 + CreatedJobs_38_4 + CreatedJobs_28_3 + CreatedJobs_25_1 + CreatedJobs_25_2 + CreatedJobs_25_3 + CreatedJobs_25_4 + CreatedJobs_28_2 + CreatedJobs_12_1 + CreatedJobs_12_2 + CreatedJobs_12_3 + CreatedJobs_12_4 + CreatedJobs_28_1 + CreatedJobs_39_1 + CreatedJobs_39_2 + CreatedJobs_39_3 + CreatedJobs_39_4 + CreatedJobs_50_4 + CreatedJobs_26_1 + CreatedJobs_26_2 + CreatedJobs_26_3 + CreatedJobs_26_4 + CreatedJobs_50_3 + CreatedJobs_13_1 + CreatedJobs_13_2 + CreatedJobs_13_3 + CreatedJobs_13_4 + CreatedJobs_50_2 + CreatedJobs_50_1 + CreatedJobs_14_4 + CreatedJobs_14_3 + CreatedJobs_14_2 + CreatedJobs_14_1 + CreatedJobs_27_4 + CreatedJobs_27_3 + CreatedJobs_27_2 + CreatedJobs_27_1 + CreatedJobs_27_5 + CreatedJobs_14_5 + CreatedJobs_13_5 + CreatedJobs_26_5 + CreatedJobs_39_5 + CreatedJobs_50_5 + CreatedJobs_12_5 + CreatedJobs_25_5 + CreatedJobs_38_5 + CreatedJobs_28_5 + CreatedJobs_60_5 + CreatedJobs_11_5 + CreatedJobs_24_5 + CreatedJobs_37_5 + CreatedJobs_10_5 + CreatedJobs_23_5 + CreatedJobs_36_5 + CreatedJobs_49_5 + CreatedJobs_22_5 + CreatedJobs_35_5 + CreatedJobs_48_5 + CreatedJobs_15_5 + CreatedJobs_51_1 + CreatedJobs_51_2 + CreatedJobs_51_3 + CreatedJobs_51_4 + CreatedJobs_51_5) : MAX(place_500_1) : MAX(block) : MAX(cSources) : MAX(CreatedJobs_29_1 + CreatedJobs_29_2 + CreatedJobs_29_3 + CreatedJobs_29_4 + CreatedJobs_29_5 + CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_0_3 + CreatedJobs_0_4 + CreatedJobs_0_5 + CreatedJobs_52_1 + CreatedJobs_52_2 + CreatedJobs_52_3 + CreatedJobs_52_4 + CreatedJobs_52_5 + CreatedJobs_17_1 + CreatedJobs_17_2 + CreatedJobs_17_3 + CreatedJobs_17_4 + CreatedJobs_17_5 + CreatedJobs_1_1 + CreatedJobs_1_2 + CreatedJobs_1_3 + CreatedJobs_1_4 + CreatedJobs_1_5 + CreatedJobs_53_1 + CreatedJobs_53_2 + CreatedJobs_53_3 + CreatedJobs_53_4 + CreatedJobs_53_5 + CreatedJobs_40_1 + CreatedJobs_40_2 + CreatedJobs_40_3 + CreatedJobs_40_4 + CreatedJobs_40_5 + CreatedJobs_18_1 + CreatedJobs_18_2 + CreatedJobs_18_3 + CreatedJobs_18_4 + CreatedJobs_18_5 + CreatedJobs_2_1 + CreatedJobs_2_2 + CreatedJobs_2_3 + CreatedJobs_2_4 + CreatedJobs_2_5 + CreatedJobs_54_1 + CreatedJobs_54_2 + CreatedJobs_54_3 + CreatedJobs_54_4 + CreatedJobs_54_5 + CreatedJobs_41_1 + CreatedJobs_41_2 + CreatedJobs_41_3 + CreatedJobs_41_4 + CreatedJobs_41_5 + CreatedJobs_19_1 + CreatedJobs_19_2 + CreatedJobs_19_3 + CreatedJobs_19_4 + CreatedJobs_19_5 + CreatedJobs_3_1 + CreatedJobs_3_2 + CreatedJobs_3_3 + CreatedJobs_3_4 + CreatedJobs_3_5 + CreatedJobs_55_1 + CreatedJobs_55_2 + CreatedJobs_55_3 + CreatedJobs_55_4 + CreatedJobs_55_5 + CreatedJobs_42_1 + CreatedJobs_42_2 + CreatedJobs_42_3 + CreatedJobs_42_4 + CreatedJobs_42_5 + CreatedJobs_4_1 + CreatedJobs_4_2 + CreatedJobs_4_3 + CreatedJobs_4_4 + CreatedJobs_4_5 + CreatedJobs_56_1 + CreatedJobs_56_2 + CreatedJobs_56_3 + CreatedJobs_56_4 + CreatedJobs_56_5 + CreatedJobs_43_1 + CreatedJobs_43_2 + CreatedJobs_43_3 + CreatedJobs_43_4 + CreatedJobs_43_5 + CreatedJobs_30_1 + CreatedJobs_30_2 + CreatedJobs_30_3 + CreatedJobs_30_4 + CreatedJobs_30_5 + CreatedJobs_5_1 + CreatedJobs_5_2 + CreatedJobs_5_3 + CreatedJobs_5_4 + CreatedJobs_5_5 + CreatedJobs_57_1 + CreatedJobs_57_2 + CreatedJobs_57_3 + CreatedJobs_57_4 + CreatedJobs_57_5 + CreatedJobs_44_1 + CreatedJobs_44_2 + CreatedJobs_44_3 + CreatedJobs_44_4 + CreatedJobs_44_5 + CreatedJobs_31_1 + CreatedJobs_31_2 + CreatedJobs_31_3 + CreatedJobs_31_4 + CreatedJobs_31_5 + CreatedJobs_6_1 + CreatedJobs_6_2 + CreatedJobs_6_3 + CreatedJobs_6_4 + CreatedJobs_6_5 + CreatedJobs_58_1 + CreatedJobs_58_2 + CreatedJobs_58_3 + CreatedJobs_58_4 + CreatedJobs_58_5 + CreatedJobs_45_1 + CreatedJobs_45_2 + CreatedJobs_45_3 + CreatedJobs_45_4 + CreatedJobs_45_5 + CreatedJobs_32_1 + CreatedJobs_32_2 + CreatedJobs_32_3 + CreatedJobs_32_4 + CreatedJobs_32_5 + CreatedJobs_7_1 + CreatedJobs_7_2 + CreatedJobs_7_3 + CreatedJobs_7_4 + CreatedJobs_7_5 + CreatedJobs_59_1 + CreatedJobs_59_2 + CreatedJobs_59_3 + CreatedJobs_59_4 + CreatedJobs_59_5 + CreatedJobs_46_1 + CreatedJobs_46_2 + CreatedJobs_46_3 + CreatedJobs_46_4 + CreatedJobs_46_5 + CreatedJobs_33_1 + CreatedJobs_33_2 + CreatedJobs_33_3 + CreatedJobs_33_4 + CreatedJobs_33_5 + CreatedJobs_20_1 + CreatedJobs_20_2 + CreatedJobs_20_3 + CreatedJobs_20_4 + CreatedJobs_20_5 + CreatedJobs_8_1 + CreatedJobs_8_2 + CreatedJobs_8_3 + CreatedJobs_8_4 + CreatedJobs_8_5 + CreatedJobs_47_1 + CreatedJobs_47_2 + CreatedJobs_47_3 + CreatedJobs_47_4 + CreatedJobs_47_5 + CreatedJobs_34_1 + CreatedJobs_34_2 + CreatedJobs_34_3 + CreatedJobs_34_4 + CreatedJobs_34_5 + CreatedJobs_21_1 + CreatedJobs_21_2 + CreatedJobs_21_3 + CreatedJobs_21_4 + CreatedJobs_21_5 + CreatedJobs_15_4 + CreatedJobs_15_3 + CreatedJobs_15_2 + CreatedJobs_15_1 + CreatedJobs_9_1 + CreatedJobs_9_2 + CreatedJobs_9_3 + CreatedJobs_9_4 + CreatedJobs_9_5 + CreatedJobs_48_1 + CreatedJobs_48_2 + CreatedJobs_48_3 + CreatedJobs_48_4 + CreatedJobs_35_1 + CreatedJobs_35_2 + CreatedJobs_35_3 + CreatedJobs_35_4 + CreatedJobs_22_1 + CreatedJobs_22_2 + CreatedJobs_22_3 + CreatedJobs_22_4 + CreatedJobs_49_1 + CreatedJobs_49_2 + CreatedJobs_49_3 + CreatedJobs_49_4 + CreatedJobs_36_1 + CreatedJobs_36_2 + CreatedJobs_36_3 + CreatedJobs_36_4 + CreatedJobs_23_1 + CreatedJobs_23_2 + CreatedJobs_23_3 + CreatedJobs_23_4 + CreatedJobs_10_1 + CreatedJobs_10_2 + CreatedJobs_10_3 + CreatedJobs_10_4 + CreatedJobs_37_1 + CreatedJobs_37_2 + CreatedJobs_37_3 + CreatedJobs_37_4 + CreatedJobs_24_1 + CreatedJobs_24_2 + CreatedJobs_24_3 + CreatedJobs_24_4 + CreatedJobs_11_1 + CreatedJobs_11_2 + CreatedJobs_11_3 + CreatedJobs_11_4 + CreatedJobs_60_1 + CreatedJobs_60_2 + CreatedJobs_60_3 + CreatedJobs_60_4 + CreatedJobs_28_4 + CreatedJobs_38_1 + CreatedJobs_38_2 + CreatedJobs_38_3 + CreatedJobs_38_4 + CreatedJobs_28_3 + CreatedJobs_25_1 + CreatedJobs_25_2 + CreatedJobs_25_3 + CreatedJobs_25_4 + CreatedJobs_28_2 + CreatedJobs_12_1 + CreatedJobs_12_2 + CreatedJobs_12_3 + CreatedJobs_12_4 + CreatedJobs_28_1 + CreatedJobs_39_1 + CreatedJobs_39_2 + CreatedJobs_39_3 + CreatedJobs_39_4 + CreatedJobs_50_4 + CreatedJobs_26_1 + CreatedJobs_26_2 + CreatedJobs_26_3 + CreatedJobs_26_4 + CreatedJobs_50_3 + CreatedJobs_13_1 + CreatedJobs_13_2 + CreatedJobs_13_3 + CreatedJobs_13_4 + CreatedJobs_50_2 + CreatedJobs_50_1 + CreatedJobs_14_4 + CreatedJobs_14_3 + CreatedJobs_14_2 + CreatedJobs_14_1 + CreatedJobs_27_4 + CreatedJobs_27_3 + CreatedJobs_27_2 + CreatedJobs_27_1 + CreatedJobs_27_5 + CreatedJobs_14_5 + CreatedJobs_13_5 + CreatedJobs_26_5 + CreatedJobs_39_5 + CreatedJobs_50_5 + CreatedJobs_12_5 + CreatedJobs_25_5 + CreatedJobs_38_5 + CreatedJobs_28_5 + CreatedJobs_60_5 + CreatedJobs_11_5 + CreatedJobs_24_5 + CreatedJobs_37_5 + CreatedJobs_10_5 + CreatedJobs_23_5 + CreatedJobs_36_5 + CreatedJobs_49_5 + CreatedJobs_22_5 + CreatedJobs_35_5 + CreatedJobs_48_5 + CreatedJobs_15_5 + CreatedJobs_51_1 + CreatedJobs_51_2 + CreatedJobs_51_3 + CreatedJobs_51_4 + CreatedJobs_51_5) : MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5) : MAX(place_782_1) : MAX(block) : MAX(NotifyEventEndOfCheckSourcesE_1) : MAX(NotifyEventJobQueuedE_1) : MAX(block) : MAX(FetchJobB_1) : MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5) : MAX(AvailableJobId_10 + AvailableJobId_11 + AvailableJobId_12 + AvailableJobId_13 + AvailableJobId_14 + AvailableJobId_15 + AvailableJobId_22 + AvailableJobId_23 + AvailableJobId_24 + AvailableJobId_25 + AvailableJobId_26 + AvailableJobId_27 + AvailableJobId_28 + AvailableJobId_35 + AvailableJobId_36 + AvailableJobId_37 + AvailableJobId_38 + AvailableJobId_39 + AvailableJobId_48 + AvailableJobId_49 + AvailableJobId_50 + AvailableJobId_51 + AvailableJobId_60 + AvailableJobId_9 + AvailableJobId_8 + AvailableJobId_7 + AvailableJobId_6 + AvailableJobId_5 + AvailableJobId_4 + AvailableJobId_3 + AvailableJobId_2 + AvailableJobId_1 + AvailableJobId_0 + AvailableJobId_59 + AvailableJobId_58 + AvailableJobId_57 + AvailableJobId_56 + AvailableJobId_55 + AvailableJobId_54 + AvailableJobId_53 + AvailableJobId_52 + AvailableJobId_47 + AvailableJobId_46 + AvailableJobId_45 + AvailableJobId_44 + AvailableJobId_43 + AvailableJobId_42 + AvailableJobId_41 + AvailableJobId_40 + AvailableJobId_34 + AvailableJobId_33 + AvailableJobId_32 + AvailableJobId_31 + AvailableJobId_30 + AvailableJobId_29 + AvailableJobId_21 + AvailableJobId_20 + AvailableJobId_19 + AvailableJobId_18 + AvailableJobId_17 + AvailableJobId_16) : MAX(NotifyEventEndOfCheckSourcesB_1)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_456)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3068 bytes per marking, with 0 unused bits
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: 76929 markings, 154607 edges, 15386 markings/sec, 0 secs
lola: 158643 markings, 305912 edges, 16343 markings/sec, 5 secs
lola: 239336 markings, 455328 edges, 16139 markings/sec, 10 secs
lola: 321822 markings, 608235 edges, 16497 markings/sec, 15 secs
lola: 403926 markings, 760590 edges, 16421 markings/sec, 20 secs
lola: 484936 markings, 911114 edges, 16202 markings/sec, 25 secs
lola: 565246 markings, 1060553 edges, 16062 markings/sec, 30 secs
lola: 643610 markings, 1206876 edges, 15673 markings/sec, 35 secs
lola: 720790 markings, 1352082 edges, 15436 markings/sec, 40 secs
lola: 797022 markings, 1501635 edges, 15246 markings/sec, 45 secs
lola: 878125 markings, 1646900 edges, 16221 markings/sec, 50 secs
lola: 958480 markings, 1791198 edges, 16071 markings/sec, 55 secs
lola: 1037644 markings, 1933294 edges, 15833 markings/sec, 60 secs
lola: 1115337 markings, 2072817 edges, 15539 markings/sec, 65 secs
lola: 1191698 markings, 2210336 edges, 15272 markings/sec, 70 secs
lola: 1267196 markings, 2346515 edges, 15100 markings/sec, 75 secs
lola: 1343572 markings, 2484718 edges, 15275 markings/sec, 80 secs
lola: 1421123 markings, 2625979 edges, 15510 markings/sec, 85 secs
lola: 1494089 markings, 2763544 edges, 14593 markings/sec, 90 secs
lola: 1531505 markings, 2827427 edges, 7483 markings/sec, 95 secs
lola: 1567396 markings, 2894903 edges, 7178 markings/sec, 100 secs
lola: 1631892 markings, 3032118 edges, 12899 markings/sec, 105 secs
lola: 1699001 markings, 3169931 edges, 13422 markings/sec, 110 secs
lola: 1766046 markings, 3307613 edges, 13409 markings/sec, 115 secs
lola: 1833491 markings, 3446079 edges, 13489 markings/sec, 120 secs
lola: 1902258 markings, 3587546 edges, 13753 markings/sec, 125 secs
lola: 1970561 markings, 3728089 edges, 13661 markings/sec, 130 secs
lola: 2038472 markings, 3868037 edges, 13582 markings/sec, 135 secs
lola: 2105471 markings, 4006175 edges, 13400 markings/sec, 140 secs
lola: 2171292 markings, 4142220 edges, 13164 markings/sec, 145 secs
lola: 2233518 markings, 4271282 edges, 12445 markings/sec, 150 secs
lola: 2297309 markings, 4405083 edges, 12758 markings/sec, 155 secs
lola: 2370132 markings, 4546194 edges, 14565 markings/sec, 160 secs
lola: 2446340 markings, 4682816 edges, 15242 markings/sec, 165 secs
lola: 2521500 markings, 4817614 edges, 15032 markings/sec, 170 secs
lola: 2595605 markings, 4950527 edges, 14821 markings/sec, 175 secs
lola: 2667957 markings, 5080538 edges, 14470 markings/sec, 180 secs
lola: 2737864 markings, 5206514 edges, 13981 markings/sec, 185 secs
lola: 2807566 markings, 5332165 edges, 13940 markings/sec, 190 secs
lola: 2877240 markings, 5458147 edges, 13935 markings/sec, 195 secs
lola: 2949373 markings, 5589229 edges, 14427 markings/sec, 200 secs
lola: 3023603 markings, 5726122 edges, 14846 markings/sec, 205 secs
lola: 3070737 markings, 5812061 edges, 9427 markings/sec, 210 secs
lola: 3106194 markings, 5874654 edges, 7091 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_29_1 + CreatedJobs_29_2 + CreatedJobs_29_3 + CreatedJobs_29_4 + CreatedJobs_29_5 + CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_0_3 + CreatedJobs_0_4 + CreatedJobs_0_5 + CreatedJobs_52_1 + CreatedJobs_52_2 + CreatedJobs_52_3 + CreatedJobs_52_4 + CreatedJobs_52_5 + CreatedJobs_17_1 + Cr... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3068 bytes per marking, with 0 unused bits
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: 23321 markings, 58667 edges, 4664 markings/sec, 0 secs
lola: 46722 markings, 113441 edges, 4680 markings/sec, 5 secs
lola: 70073 markings, 170706 edges, 4670 markings/sec, 10 secs
lola: 93308 markings, 226070 edges, 4647 markings/sec, 15 secs
lola: 116602 markings, 280498 edges, 4659 markings/sec, 20 secs
lola: 139929 markings, 335217 edges, 4665 markings/sec, 25 secs
lola: 163191 markings, 389571 edges, 4652 markings/sec, 30 secs
lola: 186659 markings, 444625 edges, 4694 markings/sec, 35 secs
lola: 210000 markings, 499425 edges, 4668 markings/sec, 40 secs
lola: 233242 markings, 553958 edges, 4648 markings/sec, 45 secs
lola: 256677 markings, 608701 edges, 4687 markings/sec, 50 secs
lola: 280162 markings, 664087 edges, 4697 markings/sec, 55 secs
lola: 303469 markings, 718812 edges, 4661 markings/sec, 60 secs
lola: 326913 markings, 773855 edges, 4689 markings/sec, 65 secs
lola: 350246 markings, 828615 edges, 4667 markings/sec, 70 secs
lola: 373622 markings, 883756 edges, 4675 markings/sec, 75 secs
lola: 396927 markings, 938499 edges, 4661 markings/sec, 80 secs
lola: 420267 markings, 993553 edges, 4668 markings/sec, 85 secs
lola: 443533 markings, 1048467 edges, 4653 markings/sec, 90 secs
lola: 466896 markings, 1103889 edges, 4673 markings/sec, 95 secs
lola: 490198 markings, 1158880 edges, 4660 markings/sec, 100 secs
lola: 513354 markings, 1213831 edges, 4631 markings/sec, 105 secs
lola: 536613 markings, 1269310 edges, 4652 markings/sec, 110 secs
lola: 559885 markings, 1324825 edges, 4654 markings/sec, 115 secs
lola: 583096 markings, 1380764 edges, 4642 markings/sec, 120 secs
lola: 606166 markings, 1436984 edges, 4614 markings/sec, 125 secs
lola: 629206 markings, 1496080 edges, 4608 markings/sec, 130 secs
lola: 652813 markings, 1547639 edges, 4721 markings/sec, 135 secs
lola: 676243 markings, 1597521 edges, 4686 markings/sec, 140 secs
lola: 699540 markings, 1645654 edges, 4659 markings/sec, 145 secs
lola: 722713 markings, 1696472 edges, 4635 markings/sec, 150 secs
lola: 745899 markings, 1745291 edges, 4637 markings/sec, 155 secs
lola: 769087 markings, 1791995 edges, 4638 markings/sec, 160 secs
lola: 792269 markings, 1838611 edges, 4636 markings/sec, 165 secs
lola: 815504 markings, 1885271 edges, 4647 markings/sec, 170 secs
lola: 838814 markings, 1932080 edges, 4662 markings/sec, 175 secs
lola: 862098 markings, 1978832 edges, 4657 markings/sec, 180 secs
lola: 885309 markings, 2025489 edges, 4642 markings/sec, 185 secs
lola: 908566 markings, 2072220 edges, 4651 markings/sec, 190 secs
lola: 931883 markings, 2119056 edges, 4663 markings/sec, 195 secs
lola: 955218 markings, 2165888 edges, 4667 markings/sec, 200 secs
lola: 978385 markings, 2212419 edges, 4633 markings/sec, 205 secs
lola: 1001745 markings, 2259337 edges, 4672 markings/sec, 210 secs
lola: 1025052 markings, 2306175 edges, 4661 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_500_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3068 bytes per marking, with 0 unused bits
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: 63674 markings, 151099 edges, 12735 markings/sec, 0 secs
lola: 123848 markings, 286111 edges, 12035 markings/sec, 5 secs
lola: 183652 markings, 420311 edges, 11961 markings/sec, 10 secs
lola: 242938 markings, 553334 edges, 11857 markings/sec, 15 secs
lola: 302091 markings, 686079 edges, 11831 markings/sec, 20 secs
lola: 361310 markings, 818971 edges, 11844 markings/sec, 25 secs
lola: 420617 markings, 952045 edges, 11861 markings/sec, 30 secs
lola: 479907 markings, 1085122 edges, 11858 markings/sec, 35 secs
lola: 538462 markings, 1216280 edges, 11711 markings/sec, 40 secs
lola: 597146 markings, 1348000 edges, 11737 markings/sec, 45 secs
lola: 656718 markings, 1500357 edges, 11914 markings/sec, 50 secs
lola: 727035 markings, 1648139 edges, 14063 markings/sec, 55 secs
lola: 799027 markings, 1795404 edges, 14398 markings/sec, 60 secs
lola: 870466 markings, 1941332 edges, 14288 markings/sec, 65 secs
lola: 943034 markings, 2089902 edges, 14514 markings/sec, 70 secs
lola: 1015024 markings, 2237234 edges, 14398 markings/sec, 75 secs
lola: 1086807 markings, 2384380 edges, 14357 markings/sec, 80 secs
lola: 1157871 markings, 2530161 edges, 14213 markings/sec, 85 secs
lola: 1227863 markings, 2674020 edges, 13998 markings/sec, 90 secs
lola: 1297454 markings, 2817531 edges, 13918 markings/sec, 95 secs
lola: 1365963 markings, 2960130 edges, 13702 markings/sec, 100 secs
lola: 1440657 markings, 3105273 edges, 14939 markings/sec, 105 secs
lola: 1524087 markings, 3246577 edges, 16686 markings/sec, 110 secs
lola: 1606232 markings, 3385806 edges, 16429 markings/sec, 115 secs
lola: 1687429 markings, 3523581 edges, 16239 markings/sec, 120 secs
lola: 1766570 markings, 3658041 edges, 15828 markings/sec, 125 secs
lola: 1844412 markings, 3790521 edges, 15568 markings/sec, 130 secs
lola: 1921888 markings, 3922747 edges, 15495 markings/sec, 135 secs
lola: 2000320 markings, 4057179 edges, 15686 markings/sec, 140 secs
lola: 2080180 markings, 4195498 edges, 15972 markings/sec, 145 secs
lola: 2139799 markings, 4302124 edges, 11924 markings/sec, 150 secs
lola: 2176348 markings, 4365741 edges, 7310 markings/sec, 155 secs
lola: 2224335 markings, 4468651 edges, 9597 markings/sec, 160 secs
lola: 2292187 markings, 4607204 edges, 13570 markings/sec, 165 secs
lola: 2359533 markings, 4744829 edges, 13469 markings/sec, 170 secs
lola: 2427595 markings, 4884108 edges, 13612 markings/sec, 175 secs
lola: 2497281 markings, 5026656 edges, 13937 markings/sec, 180 secs
lola: 2566222 markings, 5167672 edges, 13788 markings/sec, 185 secs
lola: 2634888 markings, 5308419 edges, 13733 markings/sec, 190 secs
lola: 2703140 markings, 5448464 edges, 13650 markings/sec, 195 secs
lola: 2770292 markings, 5586535 edges, 13430 markings/sec, 200 secs
lola: 2836710 markings, 5723307 edges, 13284 markings/sec, 205 secs
lola: 2901481 markings, 5857666 edges, 12954 markings/sec, 210 secs
lola: 2969839 markings, 5997982 edges, 13672 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(block)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3068 bytes per marking, with 0 unused bits
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: 66313 markings, 82219 edges, 13263 markings/sec, 0 secs
lola: 144130 markings, 178160 edges, 15563 markings/sec, 5 secs
lola: 212608 markings, 274643 edges, 13696 markings/sec, 10 secs
lola: 260536 markings, 353891 edges, 9586 markings/sec, 15 secs
lola: 317825 markings, 434675 edges, 11458 markings/sec, 20 secs
lola: 390148 markings, 526817 edges, 14465 markings/sec, 25 secs
lola: 465063 markings, 622536 edges, 14983 markings/sec, 30 secs
lola: 516076 markings, 705135 edges, 10203 markings/sec, 35 secs
lola: 564988 markings, 786740 edges, 9782 markings/sec, 40 secs
lola: 628893 markings, 867156 edges, 12781 markings/sec, 45 secs
lola: 702513 markings, 958230 edges, 14724 markings/sec, 50 secs
lola: 765977 markings, 1048686 edges, 12693 markings/sec, 55 secs
lola: 812210 markings, 1125025 edges, 9247 markings/sec, 60 secs
lola: 867209 markings, 1203667 edges, 11000 markings/sec, 65 secs
lola: 938611 markings, 1294886 edges, 14280 markings/sec, 70 secs
lola: 1012947 markings, 1390109 edges, 14867 markings/sec, 75 secs
lola: 1062274 markings, 1470658 edges, 9865 markings/sec, 80 secs
lola: 1111349 markings, 1550964 edges, 9815 markings/sec, 85 secs
lola: 1176700 markings, 1633562 edges, 13070 markings/sec, 90 secs
lola: 1251117 markings, 1726190 edges, 14883 markings/sec, 95 secs
lola: 1310101 markings, 1813567 edges, 11797 markings/sec, 100 secs
lola: 1356118 markings, 1891408 edges, 9203 markings/sec, 105 secs
lola: 1414248 markings, 1969745 edges, 11626 markings/sec, 110 secs
lola: 1486852 markings, 2061108 edges, 14521 markings/sec, 115 secs
lola: 1558126 markings, 2157438 edges, 14255 markings/sec, 120 secs
lola: 1603854 markings, 2231855 edges, 9146 markings/sec, 125 secs
lola: 1655228 markings, 2311156 edges, 10275 markings/sec, 130 secs
lola: 1724498 markings, 2399321 edges, 13854 markings/sec, 135 secs
lola: 1799013 markings, 2493691 edges, 14903 markings/sec, 140 secs
lola: 1851196 markings, 2576686 edges, 10437 markings/sec, 145 secs
lola: 1899140 markings, 2657362 edges, 9589 markings/sec, 150 secs
lola: 1964400 markings, 2739743 edges, 13052 markings/sec, 155 secs
lola: 2038835 markings, 2832475 edges, 14887 markings/sec, 160 secs
lola: 2097035 markings, 2919500 edges, 11640 markings/sec, 165 secs
lola: 2142549 markings, 2997840 edges, 9103 markings/sec, 170 secs
lola: 2202727 markings, 3078288 edges, 12036 markings/sec, 175 secs
lola: 2276049 markings, 3168713 edges, 14664 markings/sec, 180 secs
lola: 2341761 markings, 3260691 edges, 13142 markings/sec, 185 secs
lola: 2385112 markings, 3332138 edges, 8670 markings/sec, 190 secs
lola: 2431669 markings, 3401831 edges, 9311 markings/sec, 195 secs
lola: 2495178 markings, 3483241 edges, 12702 markings/sec, 200 secs
lola: 2569886 markings, 3578297 edges, 14942 markings/sec, 205 secs
lola: 2621083 markings, 3660950 edges, 10239 markings/sec, 210 secs
lola: 2673021 markings, 3743629 edges, 10388 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cSources)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3068 bytes per marking, with 0 unused bits
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: 79256 markings, 158922 edges, 15851 markings/sec, 0 secs
lola: 157633 markings, 304027 edges, 15675 markings/sec, 5 secs
lola: 235549 markings, 448346 edges, 15583 markings/sec, 10 secs
lola: 314967 markings, 595575 edges, 15884 markings/sec, 15 secs
lola: 393214 markings, 740646 edges, 15649 markings/sec, 20 secs
lola: 471036 markings, 885314 edges, 15564 markings/sec, 25 secs
lola: 547225 markings, 1026952 edges, 15238 markings/sec, 30 secs
lola: 622204 markings, 1166881 edges, 14996 markings/sec, 35 secs
lola: 696052 markings, 1305248 edges, 14770 markings/sec, 40 secs
lola: 768449 markings, 1446512 edges, 14479 markings/sec, 45 secs
lola: 844485 markings, 1586614 edges, 15207 markings/sec, 50 secs
lola: 921124 markings, 1724055 edges, 15328 markings/sec, 55 secs
lola: 996832 markings, 1860008 edges, 15142 markings/sec, 60 secs
lola: 1071498 markings, 1993974 edges, 14933 markings/sec, 65 secs
lola: 1144586 markings, 2125536 edges, 14618 markings/sec, 70 secs
lola: 1216591 markings, 2255221 edges, 14401 markings/sec, 75 secs
lola: 1288578 markings, 2385147 edges, 14397 markings/sec, 80 secs
lola: 1361088 markings, 2516546 edges, 14502 markings/sec, 85 secs
lola: 1434905 markings, 2651288 edges, 14763 markings/sec, 90 secs
lola: 1501186 markings, 2775393 edges, 13256 markings/sec, 95 secs
lola: 1538014 markings, 2838833 edges, 7366 markings/sec, 100 secs
lola: 1578821 markings, 2922663 edges, 8161 markings/sec, 105 secs
lola: 1644421 markings, 3057806 edges, 13120 markings/sec, 110 secs
lola: 1710915 markings, 3194379 edges, 13299 markings/sec, 115 secs
lola: 1777047 markings, 3330228 edges, 13226 markings/sec, 120 secs
lola: 1844216 markings, 3468138 edges, 13434 markings/sec, 125 secs
lola: 1912389 markings, 3608414 edges, 13635 markings/sec, 130 secs
lola: 1979752 markings, 3746953 edges, 13473 markings/sec, 135 secs
lola: 2047276 markings, 3886194 edges, 13505 markings/sec, 140 secs
lola: 2113200 markings, 4022109 edges, 13185 markings/sec, 145 secs
lola: 2178018 markings, 4156133 edges, 12964 markings/sec, 150 secs
lola: 2241665 markings, 4288265 edges, 12729 markings/sec, 155 secs
lola: 2304622 markings, 4420829 edges, 12591 markings/sec, 160 secs
lola: 2378174 markings, 4560632 edges, 14710 markings/sec, 165 secs
lola: 2453417 markings, 4695416 edges, 15049 markings/sec, 170 secs
lola: 2527582 markings, 4828462 edges, 14833 markings/sec, 175 secs
lola: 2600996 markings, 4960341 edges, 14683 markings/sec, 180 secs
lola: 2672251 markings, 5088426 edges, 14251 markings/sec, 185 secs
lola: 2742409 markings, 5214574 edges, 14032 markings/sec, 190 secs
lola: 2811166 markings, 5338694 edges, 13751 markings/sec, 195 secs
lola: 2883161 markings, 5468802 edges, 14399 markings/sec, 200 secs
lola: 2958407 markings, 5605699 edges, 15049 markings/sec, 205 secs
lola: 3036943 markings, 5751809 edges, 15707 markings/sec, 210 secs
lola: 3078720 markings, 5825812 edges, 8355 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_29_1 + CreatedJobs_29_2 + CreatedJobs_29_3 + CreatedJobs_29_4 + CreatedJobs_29_5 + CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_0_3 + CreatedJobs_0_4 + CreatedJobs_0_5 + CreatedJobs_52_1 + CreatedJobs_52_2 + CreatedJobs_52_3 + CreatedJobs_52_4 + CreatedJobs_52_5 + CreatedJobs_17_1 + Cr... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3068 bytes per marking, with 0 unused bits
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: 23352 markings, 58756 edges, 4670 markings/sec, 0 secs
lola: 46788 markings, 113610 edges, 4687 markings/sec, 5 secs
lola: 70163 markings, 170951 edges, 4675 markings/sec, 10 secs
lola: 93406 markings, 226308 edges, 4649 markings/sec, 15 secs
lola: 116746 markings, 280823 edges, 4668 markings/sec, 20 secs
lola: 140119 markings, 335660 edges, 4675 markings/sec, 25 secs
lola: 163382 markings, 389999 edges, 4653 markings/sec, 30 secs
lola: 186715 markings, 444780 edges, 4667 markings/sec, 35 secs
lola: 209903 markings, 499200 edges, 4638 markings/sec, 40 secs
lola: 232997 markings, 553386 edges, 4619 markings/sec, 45 secs
lola: 256263 markings, 607748 edges, 4653 markings/sec, 50 secs
lola: 279562 markings, 662439 edges, 4660 markings/sec, 55 secs
lola: 302649 markings, 716893 edges, 4617 markings/sec, 60 secs
lola: 325888 markings, 771464 edges, 4648 markings/sec, 65 secs
lola: 349029 markings, 825811 edges, 4628 markings/sec, 70 secs
lola: 372219 markings, 880524 edges, 4638 markings/sec, 75 secs
lola: 395291 markings, 934692 edges, 4614 markings/sec, 80 secs
lola: 418395 markings, 989225 edges, 4621 markings/sec, 85 secs
lola: 441442 markings, 1043621 edges, 4609 markings/sec, 90 secs
lola: 464595 markings, 1098286 edges, 4631 markings/sec, 95 secs
lola: 487658 markings, 1153025 edges, 4613 markings/sec, 100 secs
lola: 510620 markings, 1207518 edges, 4592 markings/sec, 105 secs
lola: 533718 markings, 1262330 edges, 4620 markings/sec, 110 secs
lola: 556726 markings, 1317226 edges, 4602 markings/sec, 115 secs
lola: 579785 markings, 1372819 edges, 4612 markings/sec, 120 secs
lola: 602629 markings, 1428227 edges, 4569 markings/sec, 125 secs
lola: 625521 markings, 1485499 edges, 4578 markings/sec, 130 secs
lola: 648742 markings, 1539034 edges, 4644 markings/sec, 135 secs
lola: 671987 markings, 1589173 edges, 4649 markings/sec, 140 secs
lola: 695106 markings, 1635902 edges, 4624 markings/sec, 145 secs
lola: 718040 markings, 1686253 edges, 4587 markings/sec, 150 secs
lola: 740961 markings, 1735654 edges, 4584 markings/sec, 155 secs
lola: 763929 markings, 1781910 edges, 4594 markings/sec, 160 secs
lola: 786847 markings, 1827962 edges, 4584 markings/sec, 165 secs
lola: 809845 markings, 1874191 edges, 4600 markings/sec, 170 secs
lola: 832886 markings, 1920518 edges, 4608 markings/sec, 175 secs
lola: 855973 markings, 1966872 edges, 4617 markings/sec, 180 secs
lola: 878893 markings, 2012931 edges, 4584 markings/sec, 185 secs
lola: 902001 markings, 2059375 edges, 4622 markings/sec, 190 secs
lola: 924974 markings, 2105542 edges, 4595 markings/sec, 195 secs
lola: 948222 markings, 2152174 edges, 4650 markings/sec, 200 secs
lola: 971109 markings, 2198231 edges, 4577 markings/sec, 205 secs
lola: 994095 markings, 2244409 edges, 4597 markings/sec, 210 secs
lola: 1017339 markings, 2291076 edges, 4649 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3068 bytes per marking, with 0 unused bits
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: 32064 markings, 36840 edges, 6413 markings/sec, 0 secs
lola: 65653 markings, 81429 edges, 6718 markings/sec, 5 secs
lola: 104575 markings, 129118 edges, 7784 markings/sec, 10 secs
lola: 143873 markings, 177847 edges, 7860 markings/sec, 15 secs
lola: 181872 markings, 226755 edges, 7600 markings/sec, 20 secs
lola: 212672 markings, 274778 edges, 6160 markings/sec, 25 secs
lola: 237032 markings, 314293 edges, 4872 markings/sec, 30 secs
lola: 261208 markings, 355109 edges, 4835 markings/sec, 35 secs
lola: 287702 markings, 399208 edges, 5299 markings/sec, 40 secs
lola: 318869 markings, 436025 edges, 6233 markings/sec, 45 secs
lola: 353965 markings, 482433 edges, 7019 markings/sec, 50 secs
lola: 392056 markings, 529172 edges, 7618 markings/sec, 55 secs
lola: 430245 markings, 576964 edges, 7638 markings/sec, 60 secs
lola: 466712 markings, 624838 edges, 7293 markings/sec, 65 secs
lola: 493658 markings, 668648 edges, 5389 markings/sec, 70 secs
lola: 517655 markings, 707753 edges, 4799 markings/sec, 75 secs
lola: 541258 markings, 748066 edges, 4721 markings/sec, 80 secs
lola: 567625 markings, 789793 edges, 5273 markings/sec, 85 secs
lola: 598352 markings, 826462 edges, 6145 markings/sec, 90 secs
lola: 633223 markings, 872420 edges, 6974 markings/sec, 95 secs
lola: 671378 markings, 919311 edges, 7631 markings/sec, 100 secs
lola: 709860 markings, 967518 edges, 7696 markings/sec, 105 secs
lola: 746274 markings, 1015898 edges, 7283 markings/sec, 110 secs
lola: 777535 markings, 1067243 edges, 6252 markings/sec, 115 secs
lola: 802283 markings, 1107992 edges, 4950 markings/sec, 120 secs
lola: 833405 markings, 1164175 edges, 6224 markings/sec, 125 secs
lola: 895472 markings, 1241874 edges, 12413 markings/sec, 130 secs
lola: 969963 markings, 1333882 edges, 14898 markings/sec, 135 secs
lola: 1033808 markings, 1424363 edges, 12769 markings/sec, 140 secs
lola: 1079314 markings, 1499462 edges, 9101 markings/sec, 145 secs
lola: 1131773 markings, 1575010 edges, 10492 markings/sec, 150 secs
lola: 1200540 markings, 1662833 edges, 13753 markings/sec, 155 secs
lola: 1272948 markings, 1754740 edges, 14482 markings/sec, 160 secs
lola: 1323322 markings, 1835090 edges, 10075 markings/sec, 165 secs
lola: 1367728 markings, 1913204 edges, 8881 markings/sec, 170 secs
lola: 1426047 markings, 1986396 edges, 11664 markings/sec, 175 secs
lola: 1495510 markings, 2071902 edges, 13893 markings/sec, 180 secs
lola: 1560146 markings, 2160549 edges, 12927 markings/sec, 185 secs
lola: 1603490 markings, 2231157 edges, 8669 markings/sec, 190 secs
lola: 1650118 markings, 2305116 edges, 9326 markings/sec, 195 secs
lola: 1713456 markings, 2385806 edges, 12668 markings/sec, 200 secs
lola: 1785000 markings, 2475258 edges, 14309 markings/sec, 205 secs
lola: 1839180 markings, 2557101 edges, 10836 markings/sec, 210 secs
lola: 1882214 markings, 2630438 edges, 8607 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_782_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3068 bytes per marking, with 0 unused bits
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: 64060 markings, 79477 edges, 12812 markings/sec, 0 secs
lola: 138136 markings, 170625 edges, 14815 markings/sec, 5 secs
lola: 205826 markings, 263919 edges, 13538 markings/sec, 10 secs
lola: 251322 markings, 338119 edges, 9099 markings/sec, 15 secs
lola: 300975 markings, 414532 edges, 9931 markings/sec, 20 secs
lola: 365276 markings, 496257 edges, 12860 markings/sec, 25 secs
lola: 437325 markings, 585917 edges, 14410 markings/sec, 30 secs
lola: 494548 markings, 670098 edges, 11445 markings/sec, 35 secs
lola: 539132 markings, 744274 edges, 8917 markings/sec, 40 secs
lola: 591013 markings, 817258 edges, 10376 markings/sec, 45 secs
lola: 656871 markings, 901426 edges, 13172 markings/sec, 50 secs
lola: 727709 markings, 990556 edges, 14168 markings/sec, 55 secs
lola: 779346 markings, 1070242 edges, 10327 markings/sec, 60 secs
lola: 823222 markings, 1144962 edges, 8775 markings/sec, 65 secs
lola: 878291 markings, 1218189 edges, 11014 markings/sec, 70 secs
lola: 951117 markings, 1310369 edges, 14565 markings/sec, 75 secs
lola: 1023341 markings, 1407548 edges, 14445 markings/sec, 80 secs
lola: 1068864 markings, 1481646 edges, 9105 markings/sec, 85 secs
lola: 1119461 markings, 1560357 edges, 10119 markings/sec, 90 secs
lola: 1186088 markings, 1645098 edges, 13325 markings/sec, 95 secs
lola: 1258552 markings, 1735784 edges, 14493 markings/sec, 100 secs
lola: 1315126 markings, 1821739 edges, 11315 markings/sec, 105 secs
lola: 1360948 markings, 1901251 edges, 9164 markings/sec, 110 secs
lola: 1421423 markings, 1980794 edges, 12095 markings/sec, 115 secs
lola: 1495310 markings, 2071691 edges, 14777 markings/sec, 120 secs
lola: 1563379 markings, 2165793 edges, 13614 markings/sec, 125 secs
lola: 1609463 markings, 2241396 edges, 9217 markings/sec, 130 secs
lola: 1663060 markings, 2320503 edges, 10719 markings/sec, 135 secs
lola: 1734600 markings, 2411837 edges, 14308 markings/sec, 140 secs
lola: 1809176 markings, 2507746 edges, 14915 markings/sec, 145 secs
lola: 1858248 markings, 2588383 edges, 9814 markings/sec, 150 secs
lola: 1908895 markings, 2668609 edges, 10129 markings/sec, 155 secs
lola: 1976737 markings, 2754831 edges, 13568 markings/sec, 160 secs
lola: 2051938 markings, 2849504 edges, 15040 markings/sec, 165 secs
lola: 2106035 markings, 2934181 edges, 10819 markings/sec, 170 secs
lola: 2153678 markings, 3015966 edges, 9529 markings/sec, 175 secs
lola: 2218332 markings, 3097377 edges, 12931 markings/sec, 180 secs
lola: 2293248 markings, 3190505 edges, 14983 markings/sec, 185 secs
lola: 2352906 markings, 3278665 edges, 11932 markings/sec, 190 secs
lola: 2399026 markings, 3357419 edges, 9224 markings/sec, 195 secs
lola: 2461768 markings, 3442263 edges, 12548 markings/sec, 200 secs
lola: 2538214 markings, 3536985 edges, 15289 markings/sec, 205 secs
lola: 2601515 markings, 3628965 edges, 12660 markings/sec, 210 secs
lola: 2648471 markings, 3709235 edges, 9391 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(block)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3068 bytes per marking, with 0 unused bits
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: 66533 markings, 82487 edges, 13307 markings/sec, 0 secs
lola: 144302 markings, 178367 edges, 15554 markings/sec, 5 secs
lola: 212559 markings, 274568 edges, 13651 markings/sec, 10 secs
lola: 260220 markings, 353412 edges, 9532 markings/sec, 15 secs
lola: 316988 markings, 433679 edges, 11354 markings/sec, 20 secs
lola: 388640 markings, 525032 edges, 14330 markings/sec, 25 secs
lola: 463278 markings, 620039 edges, 14928 markings/sec, 30 secs
lola: 514463 markings, 702572 edges, 10237 markings/sec, 35 secs
lola: 563334 markings, 784862 edges, 9774 markings/sec, 40 secs
lola: 627588 markings, 865589 edges, 12851 markings/sec, 45 secs
lola: 702177 markings, 957795 edges, 14918 markings/sec, 50 secs
lola: 766225 markings, 1049037 edges, 12810 markings/sec, 55 secs
lola: 812910 markings, 1126245 edges, 9337 markings/sec, 60 secs
lola: 868708 markings, 1205553 edges, 11160 markings/sec, 65 secs
lola: 941442 markings, 1298290 edges, 14547 markings/sec, 70 secs
lola: 1016200 markings, 1394795 edges, 14952 markings/sec, 75 secs
lola: 1064843 markings, 1474924 edges, 9729 markings/sec, 80 secs
lola: 1115309 markings, 1555575 edges, 10093 markings/sec, 85 secs
lola: 1182217 markings, 1640306 edges, 13382 markings/sec, 90 secs
lola: 1257558 markings, 1734467 edges, 15068 markings/sec, 95 secs
lola: 1314899 markings, 1821238 edges, 11468 markings/sec, 100 secs
lola: 1360957 markings, 1901265 edges, 9212 markings/sec, 105 secs
lola: 1422057 markings, 1981450 edges, 12220 markings/sec, 110 secs
lola: 1496584 markings, 2073231 edges, 14905 markings/sec, 115 secs
lola: 1564238 markings, 2167166 edges, 13531 markings/sec, 120 secs
lola: 1610640 markings, 2243359 edges, 9280 markings/sec, 125 secs
lola: 1664481 markings, 2322191 edges, 10768 markings/sec, 130 secs
lola: 1736226 markings, 2413795 edges, 14349 markings/sec, 135 secs
lola: 1810502 markings, 2509649 edges, 14855 markings/sec, 140 secs
lola: 1859148 markings, 2589940 edges, 9729 markings/sec, 145 secs
lola: 1910450 markings, 2670461 edges, 10260 markings/sec, 150 secs
lola: 1978890 markings, 2757500 edges, 13688 markings/sec, 155 secs
lola: 2053932 markings, 2852139 edges, 15008 markings/sec, 160 secs
lola: 2106321 markings, 2934585 edges, 10478 markings/sec, 165 secs
lola: 2150244 markings, 3012058 edges, 8785 markings/sec, 170 secs
lola: 2210193 markings, 3087340 edges, 11990 markings/sec, 175 secs
lola: 2281519 markings, 3175550 edges, 14265 markings/sec, 180 secs
lola: 2342920 markings, 3262552 edges, 12280 markings/sec, 185 secs
lola: 2386956 markings, 3335347 edges, 8807 markings/sec, 190 secs
lola: 2439462 markings, 3411349 edges, 10501 markings/sec, 195 secs
lola: 2509462 markings, 3500965 edges, 14000 markings/sec, 200 secs
lola: 2582686 markings, 3597215 edges, 14645 markings/sec, 205 secs
lola: 2629945 markings, 3675913 edges, 9452 markings/sec, 210 secs
lola: 2683678 markings, 3756331 edges, 10747 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventEndOfCheckSourcesE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3068 bytes per marking, with 0 unused bits
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: 80069 markings, 158363 edges, 16014 markings/sec, 0 secs
lola: 160568 markings, 306216 edges, 16100 markings/sec, 5 secs
lola: 241282 markings, 454652 edges, 16143 markings/sec, 10 secs
lola: 323156 markings, 605327 edges, 16375 markings/sec, 15 secs
lola: 404159 markings, 754452 edges, 16201 markings/sec, 20 secs
lola: 484617 markings, 902805 edges, 16092 markings/sec, 25 secs
lola: 563564 markings, 1048703 edges, 15789 markings/sec, 30 secs
lola: 640810 markings, 1192004 edges, 15449 markings/sec, 35 secs
lola: 716816 markings, 1334532 edges, 15201 markings/sec, 40 secs
lola: 793318 markings, 1480906 edges, 15300 markings/sec, 45 secs
lola: 873393 markings, 1621706 edges, 16015 markings/sec, 50 secs
lola: 952617 markings, 1761145 edges, 15845 markings/sec, 55 secs
lola: 1030781 markings, 1898774 edges, 15633 markings/sec, 60 secs
lola: 1106672 markings, 2032770 edges, 15178 markings/sec, 65 secs
lola: 1181519 markings, 2165116 edges, 14969 markings/sec, 70 secs
lola: 1256042 markings, 2297262 edges, 14905 markings/sec, 75 secs
lola: 1332705 markings, 2433935 edges, 15333 markings/sec, 80 secs
lola: 1410505 markings, 2575052 edges, 15560 markings/sec, 85 secs
lola: 1457248 markings, 2659231 edges, 9349 markings/sec, 90 secs
lola: 1494496 markings, 2725807 edges, 7450 markings/sec, 95 secs
lola: 1554560 markings, 2854109 edges, 12013 markings/sec, 100 secs
lola: 1623661 markings, 2995390 edges, 13820 markings/sec, 105 secs
lola: 1692002 markings, 3135127 edges, 13668 markings/sec, 110 secs
lola: 1761217 markings, 3276759 edges, 13843 markings/sec, 115 secs
lola: 1832174 markings, 3422187 edges, 14191 markings/sec, 120 secs
lola: 1902101 markings, 3565482 edges, 13985 markings/sec, 125 secs
lola: 1971645 markings, 3708146 edges, 13909 markings/sec, 130 secs
lola: 2040116 markings, 3848906 edges, 13694 markings/sec, 135 secs
lola: 2107323 markings, 3987462 edges, 13441 markings/sec, 140 secs
lola: 2172915 markings, 4123319 edges, 13118 markings/sec, 145 secs
lola: 2240589 markings, 4263548 edges, 13535 markings/sec, 150 secs
lola: 2318552 markings, 4403818 edges, 15593 markings/sec, 155 secs
lola: 2396914 markings, 4541671 edges, 15672 markings/sec, 160 secs
lola: 2473722 markings, 4676906 edges, 15362 markings/sec, 165 secs
lola: 2548499 markings, 4808763 edges, 14955 markings/sec, 170 secs
lola: 2621667 markings, 4937945 edges, 14634 markings/sec, 175 secs
lola: 2693237 markings, 5064536 edges, 14314 markings/sec, 180 secs
lola: 2764357 markings, 5190768 edges, 14224 markings/sec, 185 secs
lola: 2836741 markings, 5320150 edges, 14477 markings/sec, 190 secs
lola: 2912087 markings, 5458748 edges, 15069 markings/sec, 195 secs
lola: 2949914 markings, 5524737 edges, 7565 markings/sec, 200 secs
lola: 2984926 markings, 5587940 edges, 7002 markings/sec, 205 secs
lola: 3048403 markings, 5707785 edges, 12695 markings/sec, 210 secs
lola: 3118668 markings, 5835854 edges, 14053 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobQueuedE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3068 bytes per marking, with 0 unused bits
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: 22631 markings, 58563 edges, 4526 markings/sec, 0 secs
lola: 45534 markings, 113902 edges, 4581 markings/sec, 5 secs
lola: 68548 markings, 167517 edges, 4603 markings/sec, 10 secs
lola: 91517 markings, 220994 edges, 4594 markings/sec, 15 secs
lola: 114483 markings, 274271 edges, 4593 markings/sec, 20 secs
lola: 137304 markings, 327531 edges, 4564 markings/sec, 25 secs
lola: 160294 markings, 380929 edges, 4598 markings/sec, 30 secs
lola: 183064 markings, 434055 edges, 4554 markings/sec, 35 secs
lola: 205913 markings, 487122 edges, 4570 markings/sec, 40 secs
lola: 228630 markings, 540174 edges, 4543 markings/sec, 45 secs
lola: 251337 markings, 593091 edges, 4541 markings/sec, 50 secs
lola: 274065 markings, 645972 edges, 4546 markings/sec, 55 secs
lola: 296727 markings, 698783 edges, 4532 markings/sec, 60 secs
lola: 319298 markings, 751439 edges, 4514 markings/sec, 65 secs
lola: 341863 markings, 804136 edges, 4513 markings/sec, 70 secs
lola: 364344 markings, 856675 edges, 4496 markings/sec, 75 secs
lola: 386813 markings, 909205 edges, 4494 markings/sec, 80 secs
lola: 409311 markings, 961707 edges, 4500 markings/sec, 85 secs
lola: 431704 markings, 1014209 edges, 4479 markings/sec, 90 secs
lola: 454174 markings, 1066840 edges, 4494 markings/sec, 95 secs
lola: 476645 markings, 1119509 edges, 4494 markings/sec, 100 secs
lola: 499166 markings, 1172273 edges, 4504 markings/sec, 105 secs
lola: 521792 markings, 1225575 edges, 4525 markings/sec, 110 secs
lola: 544452 markings, 1278903 edges, 4532 markings/sec, 115 secs
lola: 567241 markings, 1332739 edges, 4558 markings/sec, 120 secs
lola: 590120 markings, 1387053 edges, 4576 markings/sec, 125 secs
lola: 612981 markings, 1441574 edges, 4572 markings/sec, 130 secs
lola: 636184 markings, 1498194 edges, 4641 markings/sec, 135 secs
lola: 660556 markings, 1559677 edges, 4874 markings/sec, 140 secs
lola: 686820 markings, 1616910 edges, 5253 markings/sec, 145 secs
lola: 714757 markings, 1674662 edges, 5587 markings/sec, 150 secs
lola: 742831 markings, 1732700 edges, 5615 markings/sec, 155 secs
lola: 771028 markings, 1791045 edges, 5639 markings/sec, 160 secs
lola: 799044 markings, 1848869 edges, 5603 markings/sec, 165 secs
lola: 826913 markings, 1906649 edges, 5574 markings/sec, 170 secs
lola: 854960 markings, 1964766 edges, 5609 markings/sec, 175 secs
lola: 882962 markings, 2022658 edges, 5600 markings/sec, 180 secs
lola: 910346 markings, 2079896 edges, 5477 markings/sec, 185 secs
lola: 937057 markings, 2136186 edges, 5342 markings/sec, 190 secs
lola: 965286 markings, 2194689 edges, 5646 markings/sec, 195 secs
lola: 993592 markings, 2253372 edges, 5661 markings/sec, 200 secs
lola: 1021685 markings, 2311697 edges, 5619 markings/sec, 205 secs
lola: 1049907 markings, 2370287 edges, 5644 markings/sec, 210 secs
lola: 1078131 markings, 2428919 edges, 5645 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(block)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3068 bytes per marking, with 0 unused bits
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: 66676 markings, 82659 edges, 13335 markings/sec, 0 secs
lola: 144734 markings, 178889 edges, 15612 markings/sec, 5 secs
lola: 212943 markings, 275326 edges, 13642 markings/sec, 10 secs
lola: 260949 markings, 354645 edges, 9601 markings/sec, 15 secs
lola: 318352 markings, 435368 edges, 11481 markings/sec, 20 secs
lola: 390653 markings, 527536 edges, 14460 markings/sec, 25 secs
lola: 465632 markings, 623332 edges, 14996 markings/sec, 30 secs
lola: 516338 markings, 705645 edges, 10141 markings/sec, 35 secs
lola: 565974 markings, 787908 edges, 9927 markings/sec, 40 secs
lola: 631440 markings, 870313 edges, 13093 markings/sec, 45 secs
lola: 706351 markings, 963060 edges, 14982 markings/sec, 50 secs
lola: 769172 markings, 1053860 edges, 12564 markings/sec, 55 secs
lola: 816132 markings, 1131916 edges, 9392 markings/sec, 60 secs
lola: 873426 markings, 1211562 edges, 11459 markings/sec, 65 secs
lola: 947588 markings, 1305982 edges, 14832 markings/sec, 70 secs
lola: 1022262 markings, 1404796 edges, 14935 markings/sec, 75 secs
lola: 1069019 markings, 1481910 edges, 9351 markings/sec, 80 secs
lola: 1121244 markings, 1562443 edges, 10445 markings/sec, 85 secs
lola: 1189742 markings, 1649613 edges, 13700 markings/sec, 90 secs
lola: 1265251 markings, 1744472 edges, 15102 markings/sec, 95 secs
lola: 1320140 markings, 1829920 edges, 10978 markings/sec, 100 secs
lola: 1367175 markings, 1912535 edges, 9407 markings/sec, 105 secs
lola: 1431211 markings, 1992642 edges, 12807 markings/sec, 110 secs
lola: 1506030 markings, 2085153 edges, 14964 markings/sec, 115 secs
lola: 1570319 markings, 2176939 edges, 12858 markings/sec, 120 secs
lola: 1616875 markings, 2254268 edges, 9311 markings/sec, 125 secs
lola: 1674084 markings, 2334327 edges, 11442 markings/sec, 130 secs
lola: 1748870 markings, 2429557 edges, 14957 markings/sec, 135 secs
lola: 1821086 markings, 2527978 edges, 14443 markings/sec, 140 secs
lola: 1867768 markings, 2604485 edges, 9336 markings/sec, 145 secs
lola: 1922332 markings, 2684562 edges, 10913 markings/sec, 150 secs
lola: 1993719 markings, 2775758 edges, 14277 markings/sec, 155 secs
lola: 2068101 markings, 2871668 edges, 14876 markings/sec, 160 secs
lola: 2116894 markings, 2952071 edges, 9759 markings/sec, 165 secs
lola: 2167593 markings, 3032037 edges, 10140 markings/sec, 170 secs
lola: 2234760 markings, 3117466 edges, 13433 markings/sec, 175 secs
lola: 2308999 markings, 3210869 edges, 14848 markings/sec, 180 secs
lola: 2363107 markings, 3295255 edges, 10822 markings/sec, 185 secs
lola: 2410183 markings, 3376850 edges, 9415 markings/sec, 190 secs
lola: 2477249 markings, 3461194 edges, 13413 markings/sec, 195 secs
lola: 2552860 markings, 3555749 edges, 15122 markings/sec, 200 secs
lola: 2610735 markings, 3643952 edges, 11575 markings/sec, 205 secs
lola: 2658593 markings, 3727014 edges, 9572 markings/sec, 210 secs
lola: 2725244 markings, 3810873 edges, 13330 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobB_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3068 bytes per marking, with 0 unused bits
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: 65321 markings, 81094 edges, 13064 markings/sec, 0 secs
lola: 142308 markings, 175883 edges, 15397 markings/sec, 5 secs
lola: 210392 markings, 271197 edges, 13617 markings/sec, 10 secs
lola: 257544 markings, 348736 edges, 9430 markings/sec, 15 secs
lola: 311728 markings, 427257 edges, 10837 markings/sec, 20 secs
lola: 380759 markings, 515321 edges, 13806 markings/sec, 25 secs
lola: 455102 markings, 609053 edges, 14869 markings/sec, 30 secs
lola: 507913 markings, 691827 edges, 10562 markings/sec, 35 secs
lola: 553580 markings, 773843 edges, 9133 markings/sec, 40 secs
lola: 614288 markings, 849356 edges, 12142 markings/sec, 45 secs
lola: 687202 markings, 938981 edges, 14583 markings/sec, 50 secs
lola: 756026 markings, 1032810 edges, 13765 markings/sec, 55 secs
lola: 801934 markings, 1107476 edges, 9182 markings/sec, 60 secs
lola: 852147 markings, 1185691 edges, 10043 markings/sec, 65 secs
lola: 919341 markings, 1271068 edges, 13439 markings/sec, 70 secs
lola: 994383 markings, 1365118 edges, 15008 markings/sec, 75 secs
lola: 1049522 markings, 1449675 edges, 11028 markings/sec, 80 secs
lola: 1094628 markings, 1528544 edges, 9021 markings/sec, 85 secs
lola: 1150257 markings, 1601308 edges, 11126 markings/sec, 90 secs
lola: 1224740 markings, 1692886 edges, 14897 markings/sec, 95 secs
lola: 1293547 markings, 1786992 edges, 13761 markings/sec, 100 secs
lola: 1339090 markings, 1861368 edges, 9109 markings/sec, 105 secs
lola: 1389834 markings, 1938603 edges, 10149 markings/sec, 110 secs
lola: 1456082 markings, 2023017 edges, 13250 markings/sec, 115 secs
lola: 1529748 markings, 2115505 edges, 14733 markings/sec, 120 secs
lola: 1584447 markings, 2199783 edges, 10940 markings/sec, 125 secs
lola: 1628841 markings, 2277542 edges, 8879 markings/sec, 130 secs
lola: 1692877 markings, 2360579 edges, 12807 markings/sec, 135 secs
lola: 1769823 markings, 2455842 edges, 15389 markings/sec, 140 secs
lola: 1833733 markings, 2548300 edges, 12782 markings/sec, 145 secs
lola: 1880639 markings, 2627433 edges, 9381 markings/sec, 150 secs
lola: 1940296 markings, 2710281 edges, 11931 markings/sec, 155 secs
lola: 2016399 markings, 2804029 edges, 15221 markings/sec, 160 secs
lola: 2084360 markings, 2898942 edges, 13592 markings/sec, 165 secs
lola: 2131105 markings, 2976444 edges, 9349 markings/sec, 170 secs
lola: 2187839 markings, 3056600 edges, 11347 markings/sec, 175 secs
lola: 2260913 markings, 3149736 edges, 14615 markings/sec, 180 secs
lola: 2333984 markings, 3248129 edges, 14614 markings/sec, 185 secs
lola: 2380411 markings, 3324100 edges, 9285 markings/sec, 190 secs
lola: 2435012 markings, 3405873 edges, 10920 markings/sec, 195 secs
lola: 2508384 markings, 3499579 edges, 14674 markings/sec, 200 secs
lola: 2583471 markings, 3598656 edges, 15017 markings/sec, 205 secs
lola: 2631417 markings, 3678455 edges, 9589 markings/sec, 210 secs
lola: 2687563 markings, 3761072 edges, 11229 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3068 bytes per marking, with 0 unused bits
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: 62785 markings, 78041 edges, 12557 markings/sec, 0 secs
lola: 138338 markings, 170870 edges, 15111 markings/sec, 5 secs
lola: 206960 markings, 265748 edges, 13724 markings/sec, 10 secs
lola: 253519 markings, 341852 edges, 9312 markings/sec, 15 secs
lola: 305451 markings, 419739 edges, 10386 markings/sec, 20 secs
lola: 371930 markings, 504405 edges, 13296 markings/sec, 25 secs
lola: 445435 markings, 596396 edges, 14701 markings/sec, 30 secs
lola: 500629 markings, 679997 edges, 11039 markings/sec, 35 secs
lola: 546144 markings, 757163 edges, 9103 markings/sec, 40 secs
lola: 602398 markings, 831853 edges, 11251 markings/sec, 45 secs
lola: 672376 markings, 920570 edges, 13996 markings/sec, 50 secs
lola: 743225 markings, 1011477 edges, 14170 markings/sec, 55 secs
lola: 791190 markings, 1089576 edges, 9593 markings/sec, 60 secs
lola: 837324 markings, 1168655 edges, 9227 markings/sec, 65 secs
lola: 899982 markings, 1247374 edges, 12532 markings/sec, 70 secs
lola: 974107 markings, 1339127 edges, 14825 markings/sec, 75 secs
lola: 1036061 markings, 1427936 edges, 12391 markings/sec, 80 secs
lola: 1081299 markings, 1502931 edges, 9048 markings/sec, 85 secs
lola: 1133973 markings, 1577738 edges, 10535 markings/sec, 90 secs
lola: 1202858 markings, 1665686 edges, 13777 markings/sec, 95 secs
lola: 1274499 markings, 1756857 edges, 14328 markings/sec, 100 secs
lola: 1324075 markings, 1836351 edges, 9915 markings/sec, 105 secs
lola: 1369270 markings, 1914899 edges, 9039 markings/sec, 110 secs
lola: 1430403 markings, 1991644 edges, 12227 markings/sec, 115 secs
lola: 1502691 markings, 2080885 edges, 14458 markings/sec, 120 secs
lola: 1566093 markings, 2170082 edges, 12680 markings/sec, 125 secs
lola: 1611223 markings, 2244345 edges, 9026 markings/sec, 130 secs
lola: 1662870 markings, 2320228 edges, 10329 markings/sec, 135 secs
lola: 1732577 markings, 2409303 edges, 13941 markings/sec, 140 secs
lola: 1805265 markings, 2502214 edges, 14538 markings/sec, 145 secs
lola: 1854276 markings, 2581849 edges, 9802 markings/sec, 150 secs
lola: 1901075 markings, 2659574 edges, 9360 markings/sec, 155 secs
lola: 1963896 markings, 2739060 edges, 12564 markings/sec, 160 secs
lola: 2037233 markings, 2830407 edges, 14667 markings/sec, 165 secs
lola: 2094428 markings, 2915169 edges, 11439 markings/sec, 170 secs
lola: 2139074 markings, 2990955 edges, 8929 markings/sec, 175 secs
lola: 2195122 markings, 3066722 edges, 11210 markings/sec, 180 secs
lola: 2266745 markings, 3157055 edges, 14325 markings/sec, 185 secs
lola: 2335283 markings, 3250227 edges, 13708 markings/sec, 190 secs
lola: 2380059 markings, 3323422 edges, 8955 markings/sec, 195 secs
lola: 2431269 markings, 3401357 edges, 10242 markings/sec, 200 secs
lola: 2500825 markings, 3490221 edges, 13911 markings/sec, 205 secs
lola: 2573541 markings, 3583353 edges, 14543 markings/sec, 210 secs
lola: 2623002 markings, 3664225 edges, 9892 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(AvailableJobId_10 + AvailableJobId_11 + AvailableJobId_12 + AvailableJobId_13 + AvailableJobId_14 + AvailableJobId_15 + AvailableJobId_22 + AvailableJobId_23 + AvailableJobId_24 + AvailableJobId_25 + AvailableJobId_26 + AvailableJobId_27 + AvailableJobId_28 + AvailableJobId_35 + AvailableJobId_36 + AvailableJobId_37 + AvailableJobId_38 + AvailableJobId_39 + AvailableJobId_48 + AvailableJobId_4... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3068 bytes per marking, with 0 unused bits
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: 64319 markings, 79790 edges, 12864 markings/sec, 0 secs
lola: 140106 markings, 173099 edges, 15157 markings/sec, 5 secs
lola: 208026 markings, 267455 edges, 13584 markings/sec, 10 secs
lola: 254572 markings, 343609 edges, 9309 markings/sec, 15 secs
lola: 306641 markings, 421161 edges, 10414 markings/sec, 20 secs
lola: 373234 markings, 506026 edges, 13319 markings/sec, 25 secs
lola: 446890 markings, 598257 edges, 14731 markings/sec, 30 secs
lola: 501528 markings, 681458 edges, 10928 markings/sec, 35 secs
lola: 547044 markings, 758956 edges, 9103 markings/sec, 40 secs
lola: 603707 markings, 833680 edges, 11333 markings/sec, 45 secs
lola: 674058 markings, 922632 edges, 14070 markings/sec, 50 secs
lola: 744638 markings, 1013528 edges, 14116 markings/sec, 55 secs
lola: 792194 markings, 1091210 edges, 9511 markings/sec, 60 secs
lola: 838600 markings, 1170079 edges, 9281 markings/sec, 65 secs
lola: 901446 markings, 1249261 edges, 12569 markings/sec, 70 secs
lola: 975761 markings, 1341212 edges, 14863 markings/sec, 75 secs
lola: 1037049 markings, 1429434 edges, 12258 markings/sec, 80 secs
lola: 1082139 markings, 1504451 edges, 9018 markings/sec, 85 secs
lola: 1135251 markings, 1579277 edges, 10622 markings/sec, 90 secs
lola: 1204185 markings, 1667333 edges, 13787 markings/sec, 95 secs
lola: 1275831 markings, 1758681 edges, 14329 markings/sec, 100 secs
lola: 1325022 markings, 1837904 edges, 9838 markings/sec, 105 secs
lola: 1370704 markings, 1916530 edges, 9136 markings/sec, 110 secs
lola: 1432283 markings, 1993894 edges, 12316 markings/sec, 115 secs
lola: 1504551 markings, 2083290 edges, 14454 markings/sec, 120 secs
lola: 1567323 markings, 2172048 edges, 12554 markings/sec, 125 secs
lola: 1612428 markings, 2246453 edges, 9021 markings/sec, 130 secs
lola: 1664504 markings, 2322223 edges, 10415 markings/sec, 135 secs
lola: 1734687 markings, 2411961 edges, 14037 markings/sec, 140 secs
lola: 1807401 markings, 2505214 edges, 14543 markings/sec, 145 secs
lola: 1855892 markings, 2584520 edges, 9698 markings/sec, 150 secs
lola: 1903654 markings, 2662503 edges, 9552 markings/sec, 155 secs
lola: 1967959 markings, 2744040 edges, 12861 markings/sec, 160 secs
lola: 2041532 markings, 2835986 edges, 14715 markings/sec, 165 secs
lola: 2097590 markings, 2920296 edges, 11212 markings/sec, 170 secs
lola: 2142107 markings, 2996938 edges, 8903 markings/sec, 175 secs
lola: 2199846 markings, 3074837 edges, 11548 markings/sec, 180 secs
lola: 2269657 markings, 3160701 edges, 13962 markings/sec, 185 secs
lola: 2338067 markings, 3254801 edges, 13682 markings/sec, 190 secs
lola: 2383817 markings, 3329905 edges, 9150 markings/sec, 195 secs
lola: 2438872 markings, 3410603 edges, 11011 markings/sec, 200 secs
lola: 2511688 markings, 3503691 edges, 14563 markings/sec, 205 secs
lola: 2585005 markings, 3602318 edges, 14663 markings/sec, 210 secs
lola: 2631753 markings, 3678931 edges, 9350 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventEndOfCheckSourcesB_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3068 bytes per marking, with 0 unused bits
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: 75506 markings, 151957 edges, 15101 markings/sec, 0 secs
lola: 157048 markings, 302930 edges, 16308 markings/sec, 5 secs
lola: 238031 markings, 452911 edges, 16197 markings/sec, 10 secs
lola: 320288 markings, 605349 edges, 16451 markings/sec, 15 secs
lola: 402387 markings, 757689 edges, 16420 markings/sec, 20 secs
lola: 483146 markings, 907709 edges, 16152 markings/sec, 25 secs
lola: 563358 markings, 1057085 edges, 16042 markings/sec, 30 secs
lola: 641405 markings, 1202713 edges, 15609 markings/sec, 35 secs
lola: 718491 markings, 1347670 edges, 15417 markings/sec, 40 secs
lola: 794294 markings, 1496845 edges, 15161 markings/sec, 45 secs
lola: 875758 markings, 1642825 edges, 16293 markings/sec, 50 secs
lola: 955657 markings, 1786108 edges, 15980 markings/sec, 55 secs
lola: 1034581 markings, 1927713 edges, 15785 markings/sec, 60 secs
lola: 1112154 markings, 2067200 edges, 15515 markings/sec, 65 secs
lola: 1188469 markings, 2204510 edges, 15263 markings/sec, 70 secs
lola: 1263416 markings, 2339624 edges, 14989 markings/sec, 75 secs
lola: 1339193 markings, 2476813 edges, 15155 markings/sec, 80 secs
lola: 1417031 markings, 2618474 edges, 15568 markings/sec, 85 secs
lola: 1493892 markings, 2763180 edges, 15372 markings/sec, 90 secs
lola: 1533145 markings, 2830305 edges, 7851 markings/sec, 95 secs
lola: 1573930 markings, 2911528 edges, 8157 markings/sec, 100 secs
lola: 1642409 markings, 3053710 edges, 13696 markings/sec, 105 secs
lola: 1712265 markings, 3197126 edges, 13971 markings/sec, 110 secs
lola: 1781252 markings, 3338723 edges, 13797 markings/sec, 115 secs
lola: 1852223 markings, 3484592 edges, 14194 markings/sec, 120 secs
lola: 1923560 markings, 3631420 edges, 14267 markings/sec, 125 secs
lola: 1994016 markings, 3776405 edges, 14091 markings/sec, 130 secs
lola: 2064191 markings, 3921025 edges, 14035 markings/sec, 135 secs
lola: 2132814 markings, 4062658 edges, 13725 markings/sec, 140 secs
lola: 2200343 markings, 4202451 edges, 13506 markings/sec, 145 secs
lola: 2266397 markings, 4339885 edges, 13211 markings/sec, 150 secs
lola: 2336036 markings, 4483355 edges, 13928 markings/sec, 155 secs
lola: 2415485 markings, 4627487 edges, 15890 markings/sec, 160 secs
lola: 2494186 markings, 4768603 edges, 15740 markings/sec, 165 secs
lola: 2571467 markings, 4907315 edges, 15456 markings/sec, 170 secs
lola: 2647343 markings, 5043619 edges, 15175 markings/sec, 175 secs
lola: 2721257 markings, 5176592 edges, 14783 markings/sec, 180 secs
lola: 2793793 markings, 5307247 edges, 14507 markings/sec, 185 secs
lola: 2866626 markings, 5438889 edges, 14567 markings/sec, 190 secs
lola: 2942307 markings, 5576353 edges, 15136 markings/sec, 195 secs
lola: 3019258 markings, 5717962 edges, 15390 markings/sec, 200 secs
lola: 3070827 markings, 5812217 edges, 10314 markings/sec, 205 secs
lola: 3108903 markings, 5879725 edges, 7615 markings/sec, 210 secs
lola: 3172167 markings, 6001317 edges, 12653 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBNT-COL-S05J60-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J60-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494719667271

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished 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="PolyORBNT-PT-S05J60"
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/PolyORBNT-PT-S05J60.tgz
mv PolyORBNT-PT-S05J60 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is PolyORBNT-PT-S05J60, 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 r058-smll-149440926200119"
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 ;