Quickstart¶

[1]:

from optiwindnet.importer import load_repository
from optiwindnet.svg import svgplot
from optiwindnet.interarraylib import G_from_S
from optiwindnet.mesh import make_planar_embedding
from optiwindnet.pathfinding import PathFinder

[2]:

locations = load_repository()

Quickest (sub-second)¶

[3]:

from optiwindnet.heuristics import EW_presolver

[4]:

L = locations.doggerA

[5]:

%%timeit
P, A = make_planar_embedding(L)

13.1 ms ± 368 μs per loop (mean ± std. dev. of 7 runs, 100 loops each)

[6]:

P, A = make_planar_embedding(L)

[7]:

%%timeit
S_pre = EW_presolver(A, capacity=8)

2.78 ms ± 14.3 μs per loop (mean ± std. dev. of 7 runs, 100 loops each)

[8]:

S_pre = EW_presolver(A, capacity=8)

[9]:

%%timeit
G_tentative = G_from_S(S_pre, A)
G_pre = PathFinder(G_tentative, planar=P, A=A).create_detours()

16.1 ms ± 84.6 μs per loop (mean ± std. dev. of 7 runs, 100 loops each)

[10]:

G_tentative = G_from_S(S_pre, A)
G_pre = PathFinder(G_tentative, planar=P, A=A).create_detours()

[11]:

svgplot(G_pre)

[11]:

../_images/notebooks_quickstart_low_12_0.svg

Quick (radial only, a second or two)¶

[12]:

from optiwindnet.baselines.hgs import hgs_cvrp
from optiwindnet.interarraylib import as_normalized

[13]:

L = locations.doggerA
P, A = make_planar_embedding(L)
S_hgs = hgs_cvrp(as_normalized(A), capacity=8, time_limit=2)
G_tentative = G_from_S(S_hgs, A)
G_hgs = PathFinder(G_tentative, planar=P, A=A).create_detours()
svgplot(G_hgs)

[13]:

../_images/notebooks_quickstart_low_15_0.svg

With quality assurance (a few minutes)¶

[14]:

from optiwindnet.MILP import solver_factory, ModelOptions

[15]:

solver = solver_factory('ortools')

[16]:

ModelOptions.help()

topology in {"radial", "branched"} default: branched
    Set the topology of subtrees in the solution.

feeder_route in {"straight", "segmented"} default: segmented
    If feeder routes must be "straight" or can be detoured ("segmented").

feeder_limit in {"unlimited", "specified", "minimum", "min_plus1", "min_plus2", "min_plus3"} default: unlimited
    Whether to limit the maximum number of feeders, if set to "specified", additional kwarg "max_feeders" must be given.

balanced [bool] default: False
    Whether to enforce balanced subtrees (subtree loads differ at most by one unit).

max_feeders [int] default: 0
    Maximum number of feeders (used only if <feeder_limit = "specified">)

[17]:

solver.set_problem(
    P, A, S_hgs.graph['capacity'], ModelOptions(
        topology='branched',
        feeder_route='segmented',
        feeder_limit='unlimited'
    ), warmstart=S_hgs
)

[18]:

# required to get the log inside the notebook (goes only to console otherwise)
solver.solver.log_callback = print

solver.solve(
    time_limit=40,
    mip_gap=0.005,
    verbose=True,
)



Starting CP-SAT solver v9.15.6755
Starting CP-SAT solver v9.15.6755
Parameters: max_time_in_seconds: 40 log_search_progress: true relative_gap_limit: 0.005
Parameters: max_time_in_seconds: 40 log_search_progress: true relative_gap_limit: 0.005
Setting number of workers to 8
Setting number of workers to 8


Initial optimization model '': (model_fingerprint: 0x15a737bbf9747168)
#Variables: 1'690 (#bools: 845 in floating point objective) (1'500 primary variables)
  - 845 Booleans in [0,1]
  - 750 in [0,7]
  - 95 in [0,8]
#kAtMostOne: 635 (#literals: 1'926)
#kLinear1: 1'690 (#enforced: 1'690)
#kLinear3: 4
#kLinearN: 284 (#terms: 4'213)

Initial optimization model '': (model_fingerprint: 0x15a737bbf9747168)
#Variables: 1'690 (#bools: 845 in floating point objective) (1'500 primary variables)
  - 845 Booleans in [0,1]
  - 750 in [0,7]
  - 95 in [0,8]
#kAtMostOne: 635 (#literals: 1'926)
#kLinear1: 1'690 (#enforced: 1'690)
#kLinear3: 4
#kLinearN: 284 (#terms: 4'213)
Starting presolve at 0.01s

Starting presolve at 0.01s
The solution hint is complete and is feasible.
The solution hint is complete and is feasible.
[Scaling] Floating point objective has 845 terms with magnitude in [1409.66, 22631.9] average = 4594.28
[Scaling] Floating point objective has 845 terms with magnitude in [1409.66, 22631.9] average = 4594.28
[Scaling] Objective coefficient relative error: 1.60816e-10
[Scaling] Objective worst-case absolute error: 5.35971e-05
[Scaling] Objective scaling factor: 2.09715e+06
[Scaling] Objective coefficient relative error: 1.60816e-10
[Scaling] Objective worst-case absolute error: 5.35971e-05
[Scaling] Objective scaling factor: 2.09715e+06
  4.29e-04s  0.00e+00d  [DetectDominanceRelations]
  4.29e-04s  0.00e+00d  [DetectDominanceRelations]
  8.74e-03s  0.00e+00d  [PresolveToFixPoint] #num_loops=2 #num_dual_strengthening=1
  8.74e-03s  0.00e+00d  [PresolveToFixPoint] #num_loops=2 #num_dual_strengthening=1
  5.43e-05s  0.00e+00d  [ExtractEncodingFromLinear] #potential_supersets=730
  5.43e-05s  0.00e+00d  [ExtractEncodingFromLinear] #potential_supersets=730
  1.48e-04s  0.00e+00d  [DetectDuplicateColumns]
  1.48e-04s  0.00e+00d  [DetectDuplicateColumns]
  2.15e-04s  0.00e+00d  [DetectDuplicateConstraints]
  2.15e-04s  0.00e+00d  [DetectDuplicateConstraints]
[Symmetry] Graph for symmetry has 6'328 nodes and 11'931 arcs.
[Symmetry] Graph for symmetry has 6'328 nodes and 11'931 arcs.
[Symmetry] Symmetry computation done. time: 0.00066392 dtime: 0.00115685
[Symmetry] Symmetry computation done. time: 0.00066392 dtime: 0.00115685
  3.39e-04s  0.00e+00d  [DetectDuplicateConstraintsWithDifferentEnforcements]
  3.39e-04s  0.00e+00d  [DetectDuplicateConstraintsWithDifferentEnforcements]
  1.42e-02s  3.73e-03d  [Probe] #probed=1'690
  1.42e-02s  3.73e-03d  [Probe] #probed=1'690
  9.26e-04s  3.79e-04d  [MaxClique] Merged 635 constraints with 1'926 literals into 330 constraints with 1'316 literals
  9.26e-04s  3.79e-04d  [MaxClique] Merged 635 constraints with 1'926 literals into 330 constraints with 1'316 literals
  7.01e-04s  0.00e+00d  [DetectDominanceRelations]
  7.01e-04s  0.00e+00d  [DetectDominanceRelations]
  7.19e-03s  0.00e+00d  [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
  7.19e-03s  0.00e+00d  [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
  5.27e-04s  0.00e+00d  [ProcessAtMostOneAndLinear]
  5.27e-04s  0.00e+00d  [ProcessAtMostOneAndLinear]
  2.69e-04s  0.00e+00d  [DetectDuplicateConstraints]
  2.69e-04s  0.00e+00d  [DetectDuplicateConstraints]
  2.51e-04s  0.00e+00d  [DetectDuplicateConstraintsWithDifferentEnforcements]
  2.51e-04s  0.00e+00d  [DetectDuplicateConstraintsWithDifferentEnforcements]
  5.04e-04s  1.46e-05d  [DetectDominatedLinearConstraints] #relevant_constraints=193 #num_inclusions=96
  5.04e-04s  1.46e-05d  [DetectDominatedLinearConstraints] #relevant_constraints=193 #num_inclusions=96
  3.66e-05s  0.00e+00d  [DetectDifferentVariables]
  3.66e-05s  0.00e+00d  [DetectDifferentVariables]
  6.42e-03s  3.73e-04d  [ProcessSetPPC] #relevant_constraints=427 #num_inclusions=425
  6.42e-03s  3.73e-04d  [ProcessSetPPC] #relevant_constraints=427 #num_inclusions=425
  3.83e-04s  0.00e+00d  [TransformClausesToExactlyOne] #num_amos=330
  3.83e-04s  0.00e+00d  [TransformClausesToExactlyOne] #num_amos=330
  9.06e-04s  0.00e+00d  [DetectEncodedComplexDomains]
  9.06e-04s  0.00e+00d  [DetectEncodedComplexDomains]
  4.27e-05s  0.00e+00d  [FindAlmostIdenticalLinearConstraints]
  4.27e-05s  0.00e+00d  [FindAlmostIdenticalLinearConstraints]
  2.64e-04s  2.83e-04d  [FindBigAtMostOneAndLinearOverlap]
  2.64e-04s  2.83e-04d  [FindBigAtMostOneAndLinearOverlap]
  1.93e-04s  3.25e-04d  [FindBigVerticalLinearOverlap]
  1.93e-04s  3.25e-04d  [FindBigVerticalLinearOverlap]
  2.71e-05s  1.24e-05d  [FindBigHorizontalLinearOverlap] #linears=179
  2.71e-05s  1.24e-05d  [FindBigHorizontalLinearOverlap] #linears=179
  1.08e-05s  0.00e+00d  [MergeClauses]
  1.08e-05s  0.00e+00d  [MergeClauses]
  3.97e-04s  0.00e+00d  [DetectDominanceRelations]
  3.97e-04s  0.00e+00d  [DetectDominanceRelations]
  3.32e-03s  0.00e+00d  [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
  3.32e-03s  0.00e+00d  [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
  3.42e-04s  0.00e+00d  [DetectDominanceRelations]
  3.42e-04s  0.00e+00d  [DetectDominanceRelations]
  3.10e-03s  0.00e+00d  [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
  3.10e-03s  0.00e+00d  [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
  1.19e-04s  0.00e+00d  [DetectDuplicateColumns]
  1.19e-04s  0.00e+00d  [DetectDuplicateColumns]
  1.89e-04s  0.00e+00d  [DetectDuplicateConstraints]
  1.89e-04s  0.00e+00d  [DetectDuplicateConstraints]
[Symmetry] Graph for symmetry has 5'717 nodes and 9'866 arcs.
[Symmetry] Graph for symmetry has 5'717 nodes and 9'866 arcs.
[Symmetry] Symmetry computation done. time: 0.000573344 dtime: 0.00104489
[Symmetry] Symmetry computation done. time: 0.000573344 dtime: 0.00104489
[SAT presolve] num removable Booleans: 0 / 845
[SAT presolve] num trivial clauses: 0
[SAT presolve] num removable Booleans: 0 / 845
[SAT presolve] [0s] clauses:70 literals:140 vars:140 one_side_vars:140 simple_definition:0 singleton_clauses:0
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:70 literals:140 vars:140 one_side_vars:140 simple_definition:0 singleton_clauses:0
[SAT presolve] [5.7167e-05s] clauses:70 literals:140 vars:140 one_side_vars:140 simple_definition:0 singleton_clauses:0
[SAT presolve] [5.7167e-05s] clauses:70 literals:140 vars:140 one_side_vars:140 simple_definition:0 singleton_clauses:0
[SAT presolve] [0.000114289s] clauses:70 literals:140 vars:140 one_side_vars:140 simple_definition:0 singleton_clauses:0
[SAT presolve] [0.000114289s] clauses:70 literals:140 vars:140 one_side_vars:140 simple_definition:0 singleton_clauses:0
  2.40e-04s  0.00e+00d  [DetectDuplicateConstraintsWithDifferentEnforcements]
  2.40e-04s  0.00e+00d  [DetectDuplicateConstraintsWithDifferentEnforcements]
  8.79e-03s  3.44e-03d  [Probe] #probed=1'690
  8.79e-03s  3.44e-03d  [Probe] #probed=1'690
  3.73e-04s  3.69e-04d  [MaxClique]
  3.73e-04s  3.69e-04d  [MaxClique]
  4.40e-04s  0.00e+00d  [DetectDominanceRelations]
  4.40e-04s  0.00e+00d  [DetectDominanceRelations]
  3.58e-03s  0.00e+00d  [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
  3.58e-03s  0.00e+00d  [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
  2.80e-04s  0.00e+00d  [ProcessAtMostOneAndLinear]
  2.80e-04s  0.00e+00d  [ProcessAtMostOneAndLinear]
  2.09e-04s  0.00e+00d  [DetectDuplicateConstraints]
  2.09e-04s  0.00e+00d  [DetectDuplicateConstraints]
  1.72e-04s  0.00e+00d  [DetectDuplicateConstraintsWithDifferentEnforcements]
  1.72e-04s  0.00e+00d  [DetectDuplicateConstraintsWithDifferentEnforcements]
  2.17e-04s  1.10e-05d  [DetectDominatedLinearConstraints] #relevant_constraints=192 #num_inclusions=95
  2.17e-04s  1.10e-05d  [DetectDominatedLinearConstraints] #relevant_constraints=192 #num_inclusions=95
  2.11e-05s  0.00e+00d  [DetectDifferentVariables]
  2.11e-05s  0.00e+00d  [DetectDifferentVariables]
  1.60e-04s  7.32e-06d  [ProcessSetPPC] #relevant_constraints=426
  1.60e-04s  7.32e-06d  [ProcessSetPPC] #relevant_constraints=426
  1.63e-04s  0.00e+00d  [TransformClausesToExactlyOne] #num_amos=330
  1.63e-04s  0.00e+00d  [TransformClausesToExactlyOne] #num_amos=330
  6.04e-04s  0.00e+00d  [DetectEncodedComplexDomains]
  6.04e-04s  0.00e+00d  [DetectEncodedComplexDomains]
  2.95e-05s  0.00e+00d  [FindAlmostIdenticalLinearConstraints]
  2.95e-05s  0.00e+00d  [FindAlmostIdenticalLinearConstraints]
  2.62e-04s  2.79e-04d  [FindBigAtMostOneAndLinearOverlap]
  2.62e-04s  2.79e-04d  [FindBigAtMostOneAndLinearOverlap]
  1.77e-04s  3.25e-04d  [FindBigVerticalLinearOverlap]
  1.77e-04s  3.25e-04d  [FindBigVerticalLinearOverlap]
  2.69e-05s  1.24e-05d  [FindBigHorizontalLinearOverlap] #linears=179
  2.69e-05s  1.24e-05d  [FindBigHorizontalLinearOverlap] #linears=179
  1.10e-05s  0.00e+00d  [MergeClauses]
  1.10e-05s  0.00e+00d  [MergeClauses]
  4.05e-04s  0.00e+00d  [DetectDominanceRelations]
  4.05e-04s  0.00e+00d  [DetectDominanceRelations]
  3.28e-03s  0.00e+00d  [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
  3.28e-03s  0.00e+00d  [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
  4.75e-06s  0.00e+00d  [MergeNoOverlap]
  4.75e-06s  0.00e+00d  [MergeNoOverlap]
  4.80e-06s  0.00e+00d  [MergeNoOverlap2D]
  4.80e-06s  0.00e+00d  [MergeNoOverlap2D]
  3.50e-04s  0.00e+00d  [ExpandObjective] #entries=7'754 #tight_variables=845 #tight_constraints=95
  3.50e-04s  0.00e+00d  [ExpandObjective] #entries=7'754 #tight_variables=845 #tight_constraints=95

Presolve summary:
  - 0 affine relations were detected.

  - rule 'TODO linear inclusion: superset is equality' was applied 191 times.
  - rule 'at_most_one: transformed into max clique' was applied 1 time.
  - rule 'deductions: 1690 stored' was applied 1 time.
  - rule 'exactly_one: simplified objective' was applied 95 times.
  - rule 'linear: positive equal one' was applied 95 times.
  - rule 'objective: shifted cost with exactly ones' was applied 95 times.
  - rule 'presolve: 0 unused variables removed.' was applied 1 time.
  - rule 'presolve: iteration' was applied 2 times.
  - rule 'setppc: exactly_one included in linear' was applied 95 times.
  - rule 'setppc: reduced linear coefficients' was applied 94 times.
  - rule 'setppc: removed trivial linear constraint' was applied 1 time.
  - rule 'variables: detect fully reified value encoding' was applied 845 times.
  - rule 'variables: detect half reified value encoding' was applied 1'690 times.
Presolve summary:
  - 0 affine relations were detected.
  - rule 'TODO linear inclusion: superset is equality' was applied 191 times.
  - rule 'at_most_one: transformed into max clique' was applied 1 time.
  - rule 'deductions: 1690 stored' was applied 1 time.
  - rule 'exactly_one: simplified objective' was applied 95 times.
  - rule 'linear: positive equal one' was applied 95 times.
  - rule 'objective: shifted cost with exactly ones' was applied 95 times.
  - rule 'presolve: 0 unused variables removed.' was applied 1 time.
  - rule 'presolve: iteration' was applied 2 times.
  - rule 'setppc: exactly_one included in linear' was applied 95 times.
  - rule 'setppc: reduced linear coefficients' was applied 94 times.
  - rule 'setppc: removed trivial linear constraint' was applied 1 time.
  - rule 'variables: detect fully reified value encoding' was applied 845 times.
  - rule 'variables: detect half reified value encoding' was applied 1'690 times.


Presolved optimization model '': (model_fingerprint: 0x8a43a5a2cf0efc35)
#Variables: 1'690 (#bools: 750 in objective) (1'500 primary variables)
  - 845 Booleans in [0,1]
  - 750 in [0,7]
  - 95 in [0,8]
#kAtMostOne: 260 (#literals: 1'176)
#kBoolAnd: 70 (#enforced: 70) (#literals: 140)
#kExactlyOne: 95 (#literals: 845)
#kLinear1: 1'690 (#enforced: 1'690)
#kLinear3: 4
#kLinearN: 188 (#terms: 2'523)
Presolved optimization model '': (model_fingerprint: 0x8a43a5a2cf0efc35)
#Variables: 1'690 (#bools: 750 in objective) (1'500 primary variables)
  - 845 Booleans in [0,1]
  - 750 in [0,7]
  - 95 in [0,8]
#kAtMostOne: 260 (#literals: 1'176)
#kBoolAnd: 70 (#enforced: 70) (#literals: 140)
#kExactlyOne: 95 (#literals: 845)
#kLinear1: 1'690 (#enforced: 1'690)
#kLinear3: 4
#kLinearN: 188 (#terms: 2'523)
[Symmetry] Graph for symmetry has 5'717 nodes and 9'866 arcs.
[Symmetry] Graph for symmetry has 5'717 nodes and 9'866 arcs.
[Symmetry] Symmetry computation done. time: 0.000540524 dtime: 0.00104362
[Symmetry] Symmetry computation done. time: 0.000540524 dtime: 0.00104362

Preloading model.

Preloading model.
#Bound   0.09s best:inf   next:[160817.074,2309766.32] initial_domain
#Bound   0.09s best:inf   next:[160817.074,2309766.32] initial_domain
#1       0.09s best:242923.237 next:[160817.074,242923.237] complete_hint
#1       0.09s best:242923.237 next:[160817.074,242923.237] complete_hint
#Model   0.09s var:1690/1690 constraints:2307/2307
#Model   0.09s var:1690/1690 constraints:2307/2307


Starting search at 0.10s with 8 workers.
Starting search at 0.10s with 8 workers.
6 full problem subsolvers: [core, default_lp, max_lp, no_lp, quick_restart, reduced_costs]
2 first solution subsolvers: [fj, fs_random_no_lp]
6 full problem subsolvers: [core, default_lp, max_lp, no_lp, quick_restart, reduced_costs]
9 interleaved subsolvers: [feasibility_pump, graph_arc_lns, graph_cst_lns, graph_dec_lns, graph_var_lns, ls, rins/rens, rnd_cst_lns, rnd_var_lns]
3 helper subsolvers: [neighborhood_helper, synchronization_agent, update_gap_integral]

2 first solution subsolvers: [fj, fs_random_no_lp]
9 interleaved subsolvers: [feasibility_pump, graph_arc_lns, graph_cst_lns, graph_dec_lns, graph_var_lns, ls, rins/rens, rnd_cst_lns, rnd_var_lns]
3 helper subsolvers: [neighborhood_helper, synchronization_agent, update_gap_integral]

#Bound   0.12s best:242923.237 next:[162472.38,242923.237] am1_presolve (num_literals=750 num_am1=34 increase=3471428032 work_done=2720)
#Bound   0.12s best:242923.237 next:[162472.38,242923.237] am1_presolve (num_literals=750 num_am1=34 increase=3471428032 work_done=2720)
#Bound   0.13s best:242923.237 next:[188354.862,242923.237] default_lp
#Bound   0.13s best:242923.237 next:[188354.862,242923.237] default_lp
#Bound   0.13s best:242923.237 next:[189781.728,242923.237] reduced_costs
#Bound   0.13s best:242923.237 next:[189781.728,242923.237] reduced_costs
#Bound   0.18s best:242923.237 next:[223973.897,242923.237] max_lp
#Bound   0.18s best:242923.237 next:[223973.897,242923.237] max_lp
#2       0.21s best:242090.156 next:[223973.897,242090.156] rins_lp_lns (d=5.00e-01 s=11 t=0.10 p=0.00 stall=0 h=base)
#2       0.21s best:242090.156 next:[223973.897,242090.156] rins_lp_lns (d=5.00e-01 s=11 t=0.10 p=0.00 stall=0 h=base)
#Bound   0.31s best:242090.156 next:[225413.966,242090.156] max_lp
#Bound   0.31s best:242090.156 next:[225413.966,242090.156] max_lp
#3       0.43s best:241681.214 next:[225413.966,241681.214] graph_arc_lns (d=5.00e-01 s=9 t=0.10 p=0.00 stall=0 h=base) [combined with: rins_lp_lns (d=5.00e...]
#3       0.43s best:241681.214 next:[225413.966,241681.214] graph_arc_lns (d=5.00e-01 s=9 t=0.10 p=0.00 stall=0 h=base) [combined with: rins_lp_lns (d=5.00e...]
#Bound   0.90s best:241681.214 next:[226137.83,241681.214] max_lp
#Bound   0.90s best:241681.214 next:[226137.83,241681.214] max_lp
#4       0.91s best:241680.579 next:[226137.83,241680.579] graph_cst_lns (d=7.07e-01 s=19 t=0.10 p=1.00 stall=1 h=base)
#4       0.91s best:241680.579 next:[226137.83,241680.579] graph_cst_lns (d=7.07e-01 s=19 t=0.10 p=1.00 stall=1 h=base)
#Bound   1.05s best:241680.579 next:[226545.592,241680.579] max_lp
#Bound   1.05s best:241680.579 next:[226545.592,241680.579] max_lp
#Bound   1.09s best:241680.579 next:[226903.496,241680.579] max_lp
#Bound   1.09s best:241680.579 next:[226903.496,241680.579] max_lp
#Bound   1.65s best:241680.579 next:[227140.992,241680.579] max_lp
#Bound   1.65s best:241680.579 next:[227140.992,241680.579] max_lp
#5       2.19s best:241127.121 next:[227140.992,241127.121] graph_arc_lns (d=4.62e-01 s=34 t=0.10 p=0.50 stall=1 h=base)
#5       2.19s best:241127.121 next:[227140.992,241127.121] graph_arc_lns (d=4.62e-01 s=34 t=0.10 p=0.50 stall=1 h=base)
#6       2.85s best:240918.612 next:[227140.992,240918.612] rnd_cst_lns (d=8.08e-01 s=40 t=0.10 p=0.75 stall=4 h=base)
#6       2.85s best:240918.612 next:[227140.992,240918.612] rnd_cst_lns (d=8.08e-01 s=40 t=0.10 p=0.75 stall=4 h=base)
#Bound   2.93s best:240918.612 next:[227311.596,240918.612] max_lp
#Bound   2.93s best:240918.612 next:[227311.596,240918.612] max_lp
#Bound   3.49s best:240918.612 next:[227540.311,240918.612] max_lp
#Bound   3.49s best:240918.612 next:[227540.311,240918.612] max_lp
#7       4.51s best:240715.16 next:[227540.311,240715.16] graph_var_lns (d=8.30e-01 s=59 t=0.10 p=0.71 stall=7 h=base)
#7       4.51s best:240715.16 next:[227540.311,240715.16] graph_var_lns (d=8.30e-01 s=59 t=0.10 p=0.71 stall=7 h=base)
#Bound   6.04s best:240715.16 next:[227616.831,240715.16] reduced_costs
#Bound   6.04s best:240715.16 next:[227616.831,240715.16] reduced_costs
#Bound   7.18s best:240715.16 next:[227735.196,240715.16] reduced_costs
#Bound   7.18s best:240715.16 next:[227735.196,240715.16] reduced_costs
#Bound   7.78s best:240715.16 next:[227774.626,240715.16] reduced_costs
#Bound   7.78s best:240715.16 next:[227774.626,240715.16] reduced_costs
#Bound   7.89s best:240715.16 next:[227871.253,240715.16] reduced_costs
#Bound   7.89s best:240715.16 next:[227871.253,240715.16] reduced_costs
#Bound   8.68s best:240715.16 next:[228105.614,240715.16] reduced_costs
#Bound   8.68s best:240715.16 next:[228105.614,240715.16] reduced_costs
#Bound  11.01s best:240715.16 next:[228127.03,240715.16] reduced_costs
#Bound  11.01s best:240715.16 next:[228127.03,240715.16] reduced_costs
#Bound  11.86s best:240715.16 next:[228212.302,240715.16] reduced_costs
#Bound  11.86s best:240715.16 next:[228212.302,240715.16] reduced_costs
#Bound  11.96s best:240715.16 next:[228282.896,240715.16] reduced_costs
#Bound  11.96s best:240715.16 next:[228282.896,240715.16] reduced_costs
#Bound  12.83s best:240715.16 next:[228351.743,240715.16] reduced_costs
#Bound  12.83s best:240715.16 next:[228351.743,240715.16] reduced_costs
#Bound  13.93s best:240715.16 next:[228378.784,240715.16] reduced_costs
#Bound  13.93s best:240715.16 next:[228378.784,240715.16] reduced_costs
#Bound  14.95s best:240715.16 next:[228418.7,240715.16] reduced_costs
#Bound  14.95s best:240715.16 next:[228418.7,240715.16] reduced_costs
#Bound  15.10s best:240715.16 next:[228430.007,240715.16] reduced_costs
#Bound  15.10s best:240715.16 next:[228430.007,240715.16] reduced_costs
#Bound  16.09s best:240715.16 next:[228501.868,240715.16] reduced_costs
#Bound  16.09s best:240715.16 next:[228501.868,240715.16] reduced_costs
#Bound  18.07s best:240715.16 next:[228505.181,240715.16] reduced_costs
#Bound  18.07s best:240715.16 next:[228505.181,240715.16] reduced_costs
#Bound  19.20s best:240715.16 next:[228586.106,240715.16] reduced_costs
#Bound  19.20s best:240715.16 next:[228586.106,240715.16] reduced_costs
#Bound  21.03s best:240715.16 next:[228609.775,240715.16] reduced_costs
#Bound  21.03s best:240715.16 next:[228609.775,240715.16] reduced_costs
#Bound  21.91s best:240715.16 next:[228630.611,240715.16] reduced_costs
#Bound  21.91s best:240715.16 next:[228630.611,240715.16] reduced_costs
#Bound  22.06s best:240715.16 next:[228643.256,240715.16] reduced_costs
#Bound  22.06s best:240715.16 next:[228643.256,240715.16] reduced_costs
#Bound  23.14s best:240715.16 next:[228721.322,240715.16] reduced_costs
#Bound  23.14s best:240715.16 next:[228721.322,240715.16] reduced_costs
#Bound  25.61s best:240715.16 next:[228723.979,240715.16] reduced_costs
#Bound  25.61s best:240715.16 next:[228723.979,240715.16] reduced_costs
#Bound  26.72s best:240715.16 next:[228747.341,240715.16] reduced_costs
#Bound  26.72s best:240715.16 next:[228747.341,240715.16] reduced_costs
#Bound  28.00s best:240715.16 next:[228793.888,240715.16] reduced_costs#Bound  28.00s best:240715.16 next:[228793.888,240715.16] reduced_costs


Task timing                   n [     min,      max]      avg      dev     time         n [     min,      max]      avg      dev    dtime
              'core':         1 [  39.91s,   39.91s]   39.91s   0.00ns   39.91s         2 [  3.54ms,   25.07s]   12.54s   12.53s   25.07s
        'default_lp':         1 [  39.91s,   39.91s]   39.91s   0.00ns   39.91s         2 [114.95ms,   15.86s]    7.99s    7.87s   15.98s
  'feasibility_pump':        97 [ 66.47us,  97.30ms]   3.74ms   9.58ms 362.77ms        94 [369.16us,  66.02ms]   1.08ms   6.73ms 101.98ms
                'fj':         0 [  0.00ns,   0.00ns]   0.00ns   0.00ns   0.00ns         0 [  0.00ns,   0.00ns]   0.00ns   0.00ns   0.00ns
   'fs_random_no_lp':         0 [  0.00ns,   0.00ns]   0.00ns   0.00ns   0.00ns         0 [  0.00ns,   0.00ns]   0.00ns   0.00ns   0.00ns
     'graph_arc_lns':        44 [ 14.61ms, 435.91ms] 225.24ms 152.65ms    9.91s        44 [117.90us, 100.16ms]  59.70ms  44.56ms    2.63s
     'graph_cst_lns':        39 [ 26.28ms, 502.09ms] 263.77ms 159.98ms   10.29s        39 [163.13us, 100.21ms]  61.97ms  42.39ms    2.42s
     'graph_dec_lns':        37 [  1.31ms, 605.98ms] 264.31ms 200.69ms    9.78s        35 [ 10.00ns, 100.34ms]  60.35ms  45.34ms    2.11s
     'graph_var_lns':        45 [  6.77ms, 453.51ms] 217.54ms 167.05ms    9.79s        45 [116.00ns, 100.15ms]  55.67ms  46.10ms    2.51s
                'ls':        54 [137.38ms, 217.21ms] 181.64ms  17.94ms    9.81s        54 [100.00ms, 100.03ms] 100.01ms   6.87us    5.40s
            'max_lp':         1 [  39.94s,   39.94s]   39.94s   0.00ns   39.94s         2 [213.30ms,   16.12s]    8.17s    7.95s   16.34s
             'no_lp':         1 [  40.01s,   40.01s]   40.01s   0.00ns   40.01s         2 [  4.18ms,   12.67s]    6.34s    6.33s   12.68s
     'quick_restart':         1 [  39.91s,   39.91s]   39.91s   0.00ns   39.91s         2 [119.30ms,   15.71s]    7.92s    7.80s   15.83s
     'reduced_costs':         1 [  39.90s,   39.90s]   39.90s   0.00ns   39.90s         2 [ 41.12ms,   16.63s]    8.33s    8.29s   16.67s
         'rins/rens':        39 [  3.78ms, 551.19ms] 251.03ms 196.13ms    9.79s        32 [  1.61us, 100.08ms]  69.89ms  42.64ms    2.24s
       'rnd_cst_lns':        38 [ 24.52ms, 495.95ms] 260.95ms 158.91ms    9.92s        37 [ 41.13us, 100.15ms]  59.20ms  41.02ms    2.19s
       'rnd_var_lns':        37 [ 13.96ms, 545.81ms] 267.67ms 181.28ms    9.90s        37 [ 10.00ns, 100.26ms]  58.85ms  45.50ms    2.18s

Search stats          Bools  Conflicts   Branches  Restarts  BacktrackToRoot  Backtrack  BoolPropag  IntegerPropag
             'core':    879    664'010  1'184'500       877            6'698    667'389   9'852'324     28'113'065
       'default_lp':    981      2'375     93'553         8           20'174     28'524     678'720      3'064'507
  'fs_random_no_lp':      0          0          0         0                0          0           0              0
           'max_lp':    845      1'973     78'047         7           17'988     23'538     492'327      2'533'222
            'no_lp':    845    409'755    788'484       638           59'763    495'088  29'294'495     86'297'910
    'quick_restart':    935        444    161'541        18           40'790     51'676     958'582      4'577'419
    'reduced_costs':    847      1'248     86'334        11           24'208     29'122     435'624      2'297'945


SAT formula           Fixed  Equiv  Total  VarLeft  BinaryClauses  PermanentClauses  TemporaryClauses
             'core':      0      0    879      879            190             4'006             8'025
       'default_lp':      0      0    981      981            710             1'242             1'962
  'fs_random_no_lp':      0      0      0        0              0                 0                 0
           'max_lp':      0      0    845      845            142             1'224             1'560
            'no_lp':      0      0    845      845            142             2'761             8'335
    'quick_restart':      0      0    935      935            502             1'224               196
    'reduced_costs':      0      0    847      847            166               871             1'093

SAT stats             ClassicMinim  LitRemoved  LitRemovedBinary  LitLearned  LitForgotten  Subsumed
             'core':       605'705   4'017'646         3'872'855  35'018'783    22'712'064   198'714
       'default_lp':         2'019      36'945            86'173     245'536             0       373
  'fs_random_no_lp':             0           0                 0           0             0         0
           'max_lp':         1'748      57'360            84'762     320'663             0       395
            'no_lp':       398'430   3'914'281           893'632  33'758'495     4'216'297   348'709
    'quick_restart':           248       2'485             8'144      19'313             0       220
    'reduced_costs':           759      12'036            44'355     145'756             0       137

Task timing                   n [     min,      max]      avg      dev     time         n [     min,      max]      avg      dev    dtime
              'core':         1 [  39.91s,   39.91s]   39.91s   0.00ns   39.91s         2 [  3.54ms,   25.07s]   12.54s   12.53s   25.07s
        'default_lp':         1 [  39.91s,   39.91s]   39.91s   0.00ns   39.91s         2 [114.95ms,   15.86s]    7.99s    7.87s   15.98s
  'feasibility_pump':        97 [ 66.47us,  97.30ms]   3.74ms   9.58ms 362.77ms        94 [369.16us,  66.02ms]   1.08ms   6.73ms 101.98ms
                'fj':         0 [  0.00ns,   0.00ns]   0.00ns   0.00ns   0.00ns         0 [  0.00ns,   0.00ns]   0.00ns   0.00ns   0.00ns
   'fs_random_no_lp':         0 [  0.00ns,   0.00ns]   0.00ns   0.00ns   0.00ns         0 [  0.00ns,   0.00ns]   0.00ns   0.00ns   0.00ns
     'graph_arc_lns':        44 [ 14.61ms, 435.91ms] 225.24ms 152.65ms    9.91s        44 [117.90us, 100.16ms]  59.70ms  44.56ms    2.63s
     'graph_cst_lns':        39 [ Vivification          Clauses  Decisions  LitTrue  Subsumed  LitRemoved  DecisionReused  Conflicts
             'core':    3'267     48'730        0       385       7'637           4'686         12
       'default_lp':   10'112     70'316        0       169       2'271          10'687         11
  'fs_random_no_lp':        0          0        0         0           0               0          0
           'max_lp':    8'403     59'543        0       142       2'022           8'681          5
            'no_lp':   44'904    223'130        0       295       3'735          78'404         10
    'quick_restart':   17'835    123'935        0       157       2'196          16'004         16
    'reduced_costs':    7'820     55'828        0        90       1'266           6'683          9

26.28ms, 502.09ms] 263.77ms 159.98ms   10.29s        39 [163.13us, 100.21ms]  61.97ms  42.39ms    2.42s
     'graph_dec_lns':        37 [  1.31ms, 605.98ms] 264.31ms 200.69ms    9.78s        35 [ 10.00ns, 100.34ms]  60.35ms  45.34ms    2.11s
     'graph_var_lns':        45 [  6.77ms, 453.51ms] 217.54ms 167.05ms    9.79s        45 [116.00ns, 100.15ms]  55.67ms  46.10ms    2.51s
                'ls':        54 [137.38ms, 217.21ms] 181.64ms  17.94ms    9.81s        54 [100.00ms, 100.03ms] 100.01ms   6.87us    5.40s
            'max_lp':         1 [  39.94s,   39.94s]   39.94s   0.00ns   39.94s         2 [213.30ms,   16.12s]    8.17s    7.95s   16.34s
             'no_lp':         1 [  40.01s,   40.01s]   40.01s   0.00ns   40.01s         2 [  4.18ms,   12.67s]    6.34s    6.33s   12.68s
     'quick_restart':         1 [  39.91s,   39.91s]   39.91s   0.00ns   39.91s         2 [119.30ms,   15.71s]    7.92s    7.80s   15.83s
     'reduced_costs':         1 [  39.90s,   39.90s]   39.90s   0.00Clause deletion       at_true  l_and_not(l)  to_binary  sub_conflict  sub_extra  sub_decisions  sub_eager  sub_vivify  sub_probing  sub_inpro  blocked  eliminated  forgotten   promoted  conflicts
             'core':        0             0          0       192'953      4'239              2      5'761         385            0        338        0           0    449'236  1'519'432    664'010
       'default_lp':        0             0          0           358          4              1         15         169            0          0        0           0          0      4'775      2'375
  'fs_random_no_lp':        0             0          0             0          0              0          0           0            0          0        0           0          0          0          0
           'max_lp':        0             0          0           383          1              3         12         142            1         19        0           0          0      3'803      1'973
            'no_lp':        0             0          0       347'687        333          2'013      1'022         295            2         71        0           0     47'790    837'514    409'755
    'quick_restart':        0             0          0           215          0              2          5         157            2         16        0           0          0        362        444
    'reduced_costs':        0             0          0           137          0              2          0          90            0          0        0           0          0      2'367      1'248

ns   39.90s         2 [ 41.12ms,   16.63s]    8.33s    8.29s   16.67s
         'rins/rens':        39 [  3.78ms, 551.19ms] 251.03ms 196.13ms    9.79s        32 [  1.61us, 100.08ms]  69.89ms  42.64ms    2.24s
       'rnd_cst_lns':        38 [ 24.52ms, 495.95ms] 260.95ms 158.91ms    9.92s        37 [ 41.13us, 100.15ms]  59.20ms  41.02ms    2.19s
       'rnd_var_lns':        37 [ 13.96ms, 545.81ms] 267.67ms 181.28ms    9.90s        37 [ 10.00ns, 100.26ms]  58.85ms  45.50ms    2.18s

Search stats          Bools  Conflicts   Branches  Restarts  BacktrackToRoot  Backtrack  BoolPropag  IntegerPropag
             'core':    879    664'010  1'184'500       877            6'698    667'389   9'852'324     28'113'065
       'default_lp':    981      2'375     93'553         8           20'174     28'524     678'720      3'064'507
  'fs_random_no_lp':      0          0          0         0                0          0           0              0
           'max_lp':    845      1'973     78'047      Lp stats            Component  Iterations  AddedCuts  OPTIMAL  DUAL_F.  DUAL_U.
     'default_lp':          1     218'098      4'489    8'525        2      235
         'max_lp':          1     183'463      3'719    5'876      731      158
  'quick_restart':          1      90'702      4'742    2'781        4       36
  'reduced_costs':          1     144'987      3'721    3'546      596      163

Lp dimension            Final dimension of first component
     'default_lp':  1578 rows, 1596 columns, 16121 entries
         'max_lp':  1446 rows, 1690 columns, 16330 entries
  'quick_restart':  1841 rows, 1596 columns, 35417 entries
  'reduced_costs':  1149 rows, 1690 columns, 13463 entries

   7           17'988     23'538     492'327      2'533'222
            'no_lp':    845    409'755    788'484       638           59'763    495'088  29'294'495     86'297'910
    'quick_restart':    935        444    161'541        18           40'790     51'676     958'582      4'577'419
    'reduced_costs':    847      1'248     86'334        11           24'208     29'122     435'624      2'297'945

SAT formula           Fixed  Equiv  Total  VarLeft  BinaryClauses  PermanentClauses  TemporaryClauses
             'core':      0      0    879      879            190             4'006             8'025
       'default_lp':      0      0    981      981            710             1'242             1'962
  'fs_random_no_lp':      0      0      0        0              0                 0                 0
           'max_lp':      0      0    845      845            142             1'224             1'560
            'no_lp':      0      0    845      845            142             2'761 Lp debug            CutPropag  CutEqPropag  Adjust  Overflow     Bad  BadScaling
     'default_lp':          0            3   8'738         0  13'209           0
         'max_lp':          0            0   6'757         0  25'033           0
  'quick_restart':          0            2   2'803         0  45'979           0
  'reduced_costs':          0            1   4'263         0  54'161           0

Lp pool             Constraints  Updates  Simplif  Merged  Shortened  Split  Strengthened     Cuts/Call
     'default_lp':        7'289      115        0       0          0     19            62  4'489/10'478
         'max_lp':        6'871      264        0       0          0    252             3   3'719/7'804
  'quick_restart':        7'542      401        0       0          0    541            60   4'742/9'190
  'reduced_costs':        6'873      560        0       0          0  1'273            10   3'721/7'279

            8'335
    'quick_restart':      0      0    935      935            502             1'224               196
    'reduced_costs':      0      0    847      847            166               871             1'093

SAT stats             ClassicMinim  LitRemoved  LitRemovedBinary  LitLearned  LitForgotten  Subsumed
             'core':       605'705   4'017'646         3'872'855  35'018'783    22'712'064   198'714
       'default_lp':         2'019      36'945            86'173     245'536             0       373
  'fs_random_no_lp':             0           0                 0           0             0         0
           'max_lp':         1'748      57'360            84'762     320'663             0       395
            'no_lp':       398'430   3'914'281           893'632  33'758'495     4'216'297   348'709
    'quick_restart':           248       2'485             8'144      19'313             0       220
    'reduced_costs':           759      12'036            44'355     145'756             0       137

Vivification          Clauses  Decisions  LitTrue  Subsumed  LitRemoved  DecisionReused  Conflicts
             'core':    3'267     48'730        0       385       7'637           4'686         12
       'default_lp':   10'112     70'316        0       169       2'271          10'687         11
  'fs_random_no_lp':        0          0        0         0           0               0          0
           'max_lp':    8'403     59'543        0       142       2'022           8'681          5
            'no_lp':   44'904    223'130        0       295       3'735          78'404         10
    'quick_restart':   17'835    123'935        0       157       2'196          16'004         16
    'reduced_costs':    7'820     55'828        0        90       1'266           6'683          9

Clause deletion       at_true  l_and_not(l)  to_binary  sub_conflict  sub_extra  sub_decisions  sub_eager  sub_vivify  sub_probing  sub_inpro  blocked  eliminated  forgotten   promoted  conflicts
             'core':        0             0          0       192'953      4'239              2      5'761         385            0        338        0           0    449'236  1'519'432    664'010
       'default_lp':        0             0          0           358          4              1         15         169            0          0        0           0          0      4'775      2'375
  'fs_random_no_lp':        0             0          0             0          0              0          0           0            0          0        0           0          0          0          0
           'max_lp':        0             0          0           383          1              3         12         142            1         19        0           0          0      3'803      1'973
            'no_lp':        0             0          0       347'687        333          2'013      1'022         295            2         71        0           0     47'790    837'514    409'755
    'quick_restart':        0             0          0           215          0              2          5         157            2         16        0           0          0        362        444
    'reduced_costs':        0             0          0           137          0              2          0          90            0          0        0           0          0      2'367      1'248

Lp stats            Component  Iterations  AddedCuts  OPTIMAL  DUAL_F.  DUAL_U.
     'default_lp':          1     218'098      4'489    8'525        2      235
         'max_lp':          1     183'463      3'719    5'876      731      158
  'quick_restart':          1      90'702      4'742    2'781        4       36
  'reduced_costs':          1     144'987      3'721    3'546      596      163

Lp dimension            Final dimension of first component
     'default_lp':  1578 rows, 1596 columns, 16121 entries
         'max_lp':  1446 rows, 1690 columns, 16330 entries
  'quick_restart':  1841 rowLp Cut            reduced_costs  default_lp  quick_restart  max_lp
          CG_FF:             12          40             11      22
           CG_K:              3          26             11      15
          CG_KL:              3           6              1       7
           CG_R:             18          42             32      39
          CG_RB:             53          90             70      56
         CG_RBP:             12          51             50      28
             IB:          1'204       1'652          1'191   1'224
       MIR_1_FF:            194         248            315     139
        MIR_1_K:             14          79             83      19
       MIR_1_KL:              4          46             34       4
        MIR_1_R:              4           4              6       2
       MIR_1_RB:             62          93            193      75
      MIR_1_RBP:             31          81            158      20
       MIR_2_FF:            184         195            241     185
        MIR_2_K:             18          57             83      25
       MIR_2_KL:             18          17             30       3
        MIR_2_R:             12           9             11       8
       MIR_2_RB:            143         155            200     178
      MIR_2_RBP:             60          99            124      53
       MIR_3_FF:            137         124            152     182
        MIR_3_K:             36          76             88      25
       MIR_3_KL:              5          16             12       7
        MIR_3_R:              3           9              7      18
       MIR_3_RB:            125         125            137     174
      MIR_3_RBP:             63          97            108      76
       MIR_4_FF:            122          80            107     126
        MIR_4_K:             36          60             61      37
       MIR_4_KL:              8          12              6       6
        MIR_4_R:              4           5              7      19
       MIR_4_RB:             83          74             83     103
      MIR_4_RBP:             60          53             71      48
       MIR_5_FF:             83          40             59      74
        MIR_5_K:             43          46             34      15
       MIR_5_KL:              6           1              5       2
        MIR_5_R:              5           4              3      10
       MIR_5_RB:             61          50             39      69
      MIR_5_RBP:             43          34             45      29
       MIR_6_FF:             58          25             37      65
        MIR_6_K:             26          34             34      18
       MIR_6_KL:             28          11             11      17
        MIR_6_R:              8           4              3       7
       MIR_6_RB:             41          28             24      50
      MIR_6_RBP:             44          19             35      34
   ZERO_HALF_FF:             20          29             35       8
    ZERO_HALF_K:              -          11              9       -
   ZERO_HALF_KL:              1           -              1       -
    ZERO_HALF_R:            427         321            537     316
   ZERO_HALF_RB:             73          77            105      70
  ZERO_HALF_RBP:             23          34             43      12

s, 1596 columns, 35417 entries
  'reduced_costs':  1149 rows, 1690 columns, 13463 entries

Lp debug            CutPropag  CutEqPropag  Adjust  Overflow     Bad  BadScaling
     'default_lp':          0            3   8'738         0  13'209           0
         'max_lp':          0            0   6'757         0  25'033           0
  'quick_restart':          0            2   2'803         0  45'979           0
  'reduced_costs':          0            1   4'263         0  54'161           0

Lp pool             Constraints  Updates  Simplif  Merged  Shortened  Split  Strengthened     Cuts/Call
     'default_lp':        7'289      115        0       0          0     19            62  4'489/10'478
         'max_lp':        6'871      264        0       0          0    252             3   3'719/7'804
  'quick_restart':        7'542      401        0       0          0    541            60   4'742/9'190
  'reduced_costs':        6'873      560        0       0          0  1'273            LNS stats           Improv/Calls  Closed  Difficulty  TimeLimit
  'graph_arc_lns':          3/44     48%    3.26e-01       0.10
  'graph_cst_lns':          6/39     49%    5.89e-01       0.10
  'graph_dec_lns':          2/35     49%    6.90e-01       0.10
  'graph_var_lns':          4/45     51%    7.03e-01       0.10
      'rins/rens':         37/39     49%    4.09e-01       0.10
    'rnd_cst_lns':          4/37     51%    7.57e-01       0.10
    'rnd_var_lns':          1/37     51%    7.65e-01       0.10

10   3'721/7'279

Lp Cut            reduced_costs  default_lp  quick_restart  max_lp
          CG_FF:             12          40             11      22
           CG_K:              3          26             11      15
          CG_KL:              3           6              1       7
           CG_R:             18          42             32      39
          CG_RB:             53          90             70      56
         CG_RBP:             12          51             50      28
             IB:          1'204       1'652          1'191   1'224
       MIR_1_FF:            194         248            315     139
        MIR_1_K:             14          79             83      19
       MIR_1_KL:              4          46             34       4
        MIR_1_R:              4           4              6       2
       MIR_1_RB:             62          93            193      75
      MIR_1_RBP:             31          81            158      20
       MIR_2_FF:            184         195 LS stats                                Batches  Restarts/Perturbs  LinMoves  GenMoves  CompoundMoves  Bactracks  WeightUpdates  ScoreComputed
                         'ls_restart':        8                  6   101'670         0              0          0         19'885      3'674'415
                'ls_restart_compound':        6                  4         0    92'468          8'148     42'145            472      2'667'284
        'ls_restart_compound_perturb':        7                  7         0   106'701         10'300     48'192            784      3'067'327
                   'ls_restart_decay':        9                  7   139'474         0              0          0          2'294      3'190'097
          'ls_restart_decay_compound':        3                  2         0    38'726          6'654     16'028             75      1'244'003
  'ls_restart_decay_compound_perturb':        8                  3         0   106'296         16'196     45'039             98      3'428'457
           'ls_restart_decay_perturb':        4                  3    63'085         0              0          0          1'019      1'445'578
                 'ls_restart_perturb':        9                  8   115'999         0              0          0         18'169      4'246'774

           241     185
        MIR_2_K:             18          57             83      25
       MIR_2_KL:             18          17             30       3
        MIR_2_R:             12           9             11       8
       MIR_2_RB:            143         155            200     178
      MIR_2_RBP:             60          99            124      53
       MIR_3_FF:            137         124            152     182
        MIR_3_K:             36          76             88      25
       MIR_3_KL:              5          16             12       7
        MIR_3_R:              3           9              7      18
       MIR_3_RB:            125         125            137     174
      MIR_3_RBP:             63          97            108      76
       MIR_4_FF:            122          80            107     126
        MIR_4_K:             36          60             61      37
       MIR_4_KL:              8          12              6       6
        MIR_4_R:              4        Solutions (7)       Num   Rank
  'complete_hint':    2  [0,1]
  'graph_arc_lns':    4  [2,5]
  'graph_cst_lns':    2  [3,4]
  'graph_var_lns':    2  [6,7]
    'rins_lp_lns':    2  [1,2]
    'rnd_cst_lns':    2  [5,6]

   5              7      19
       MIR_4_RB:             83          74             83     103
      MIR_4_RBP:             60          53             71      48
       MIR_5_FF:             83          40             59      74
        MIR_5_K:             43          46             34      15
       MIR_5_KL:              6           1              5       2
        MIR_5_R:              5           4              3      10
       MIR_5_RB:             61          50             39      69
      MIR_5_RBP:             43          34             45      29
       MIR_6_FF:             58          25             37      65
        MIR_6_K:             26          34             34      18
       MIR_6_KL:             28          11             11      17
        MIR_6_R:              8           4              3       7
       MIR_6_RB:             41          28             24      50
      MIR_6_RBP:             44          19             35      34
   ZERO_HALF_FF:             20   Objective bounds     Num
    'am1_presolve':    1
      'default_lp':    1
  'initial_domain':    1
          'max_lp':    8
   'reduced_costs':   23

       29             35       8
    ZERO_HALF_K:              -          11              9       -
   ZERO_HALF_KL:              1           -              1       -
    ZERO_HALF_R:            427         321            537     316
   ZERO_HALF_RB:             73          77            105      70
  ZERO_HALF_RBP:             23          34             43      12

LNS stats           Improv/Calls  Closed  Difficulty  TimeLimit
  'graph_arc_lns':          3/44     48%    3.26e-01       0.10
  'graph_cst_lns':          6/39     49%    5.89e-01       0.10
  'graph_dec_lns':          2/35     49%    6.90e-01       0.10
  'graph_var_lns':          4/45     51%    7.03e-01       0.10
      'rins/rens':         37/39     49%    4.09e-01       0.10
    'rnd_cst_lns':          4/37     51%    7.57e-01       0.10
    'rnd_var_lns':          1/37     51%    7.65e-01       0.10

LS stats                                Batches  Restarts/Perturbs  LinMoves  GenMoves  CompoundMoves  Bactracks  WeigSolution repositories    Added  Queried  Synchro
    'alternative_path':     14       99       14
      'best_solutions':     72      246       45
   'fj solution hints':      0        0        0
        'lp solutions':    150       39      122
                'pump':      0        0

htUpdates  ScoreComputed
                         'ls_restart':        8                  6   101'670         0              0          0         19'885      3'674'415
                'ls_restart_compound':        6                  4         0    92'468          8'148     42'145            472      2'667'284
        'ls_restart_compound_perturb':        7                  7         0   106'701         10'300     48'192            784      3'067'327
                   'ls_restart_decay':        9                  7   139'474         0              0          0          2'294      3'190'097
          'ls_restart_decay_compound':        3                  2         0    38'726          6'654     16'028             75      1'244'003
  'ls_restart_decay_compound_perturb':        8                  3         0   106'296         16'196     45'039             98      3'428'457
           'ls_restart_decay_perturb':        4                  3    63'085         0              0          0     Clauses shared      #Exported  #Imported  #BinaryRead  #BinaryTotal
           'core':        646        824            1             1
     'default_lp':          5      1'283            1             1
         'max_lp':          7      1'278            1             1
          'no_lp':        828        459            1             1
  'quick_restart':          7      1'279            1             1
  'reduced_costs':          5        850            0             1

LRAT_status: NA
     1'019      1'445'578
                 'ls_restart_perturb':        9                  8   115'999         0              0          0         18'169      4'246'774

Solutions (7)       Num   Rank
  'complete_hint':    2  [0,1]
  'graph_arc_lns':    4  [2,5]
  'graph_cst_lns':    2  [3,4]
  'graph_var_lns':    2  [6,7]
    'rins_lp_lns':    2  [1,2]
    'rnd_cst_lns':    2  [5,6]

Objective bounds     Num
    'am1_presolve':    1
      'default_lp':    1
  'initial_domain':    1
          'max_lp':    8
   'reduced_costs':   23

Solution repositories    Added  Queried  Synchro
    'alternative_path':     14       99       14
      'best_solutions':     72      246       45
   'fj solution hints':      0        0        0
        'lp solutions':    150       39      122
                'pump':      0        0

Clauses shared      #Exported  #Imported  #BinaryRead  #BinaryTotal
           'core':        646        824            1             1
     'default_lp':          5      1'283            1             1
         'max_lp':          7      1'278            1             1
          'no_lp':        828        459            1             1
  'quick_restart':          7      1'279            1             1
  'reduced_costs':          5        850            0             1

LRAT_status: NA
[Scaling] scaled_objective_bound: 228794 corrected_bound: 228794 delta: -1.01153e-06
[Scaling] scaled_objective_bound: 228794 corrected_bound: 228794 delta: -1.01153e-06
CpSolverResponse summary:
status: FEASIBLE
objective: 240715.1599014539
best_bound: 228793.8880620581
integers: 0
booleans: 0
conflicts: 0
branches: 0
propagations: 0
integer_propagations: 0
restarts: 0
lp_iterations: 0
walltime: 40.1049
usertime: 40.1049
deterministic_time: 124.345
gap_integral: 1168.19
solution_fingerprint: 0x91194cc2586fc39b

CpSolverResponse summary:
status: FEASIBLE
objective: 240715.1599014539
best_bound: 228793.8880620581
integers: 0
booleans: 0
conflicts: 0
branches: 0
propagations: 0
integer_propagations: 0
restarts: 0
lp_iterations: 0
walltime: 40.1049
usertime: 40.1049
deterministic_time: 124.345
gap_integral: 1168.19
solution_fingerprint: 0x91194cc2586fc39b

[18]:

SolutionInfo(runtime=40.104914893, bound=228793.88806205813, objective=240715.15990145394, relgap=0.049524391584959804, termination='FEASIBLE')

[19]:

S, G = solver.get_solution()
svgplot(G)

[19]:

../_images/notebooks_quickstart_low_22_0.svg