OR-Tools example¶
[1]:
from optiwindnet.importer import load_repository
from optiwindnet.svg import svgplot
from optiwindnet.mesh import make_planar_embedding
from optiwindnet.interarraylib import G_from_S, as_normalized
from optiwindnet.heuristics import constructor
from optiwindnet.baselines.hgs import hgs_cvrp
from optiwindnet.MILP import solver_factory, ModelOptions
Initialize Moray East¶
[2]:
locations = load_repository()
[3]:
L = locations.morayeast
svgplot(L)
[3]:
Optimize Moray East¶
[4]:
P, A = make_planar_embedding(L)
Get a heuristic solution¶
[5]:
S_ew = constructor(A, capacity=7)
G_ew = G_from_S(S_ew, A)
svgplot(G_ew)
[5]:
Get a meta-heuristic solution¶
[6]:
S_hgs = hgs_cvrp(as_normalized(A), capacity=7, time_limit=0.5)
print(S_hgs.graph['solution_time'])
G_hgs = G_from_S(S_hgs, A)
svgplot(G_hgs)
(0.03, 0.01, 0.01)
[6]:
Use MILP solver to refine solution¶
[7]:
solver = solver_factory('ortools.cp_sat')
[8]:
solver.set_problem(
P, A, S_ew.graph['capacity'],
ModelOptions(
topology='branched',
feeder_route='segmented',
feeder_limit='unlimited'
), warmstart=S_ew
)
[9]:
# required to get the log inside the notebook (goes only to console otherwise)
solver.log_callback = print
solver.solve(
time_limit=40,
mip_gap=0.005,
verbose=True,
)
IntegerBoundsPreprocessor 3527 rows, 2440 columns, 13320 entries with magnitude in [1.000000e+00, 7.000000e+00]
BoundPropagationPreprocessor 3527 rows, 2440 columns, 13320 entries with magnitude in [1.000000e+00, 7.000000e+00]
ImpliedIntegerPreprocessor 3527 rows, 2440 columns, 13320 entries with magnitude in [1.000000e+00, 7.000000e+00]
IntegerBoundsPreprocessor 3527 rows, 2440 columns, 13320 entries with magnitude in [1.000000e+00, 7.000000e+00]
ReduceCostOverExclusiveOrConstraintPreprocessor 3527 rows, 2440 columns, 13320 entries with magnitude in [1.000000e+00, 7.000000e+00]
Scaling to pure integer problem.
Num integers: 2440/2440 (implied: 0 in_inequalities: 0 max_scaling: 0) [IP]
Maximum constraint coefficient relative error: 0
Maximum constraint worst-case activity error: 0
Constraint scaling factor range: [1, 1]
Starting CP-SAT solver v9.15.6755
Parameters: max_time_in_seconds: 40 log_search_progress: true catch_sigint_signal: false relative_gap_limit: 0.005 log_to_stdout: false
Setting number of workers to 16
Initial optimization model 'optiwindnet': (model_fingerprint: 0x8b70ae48bbcfe24c)
#Variables: 2'440 (#bools: 1'120 in floating point objective) (2'240 primary variables)
- 1'220 Booleans in [0,1]
- 920 in [0,6]
- 300 in [0,7]
#kLinear2: 2'900
#kLinearN: 627 (#terms: 7'520)
Starting presolve at 0.00s
The solution hint is complete and is feasible.
[Scaling] Floating point objective has 1120 terms with magnitude in [0.00179184, 17466] average = 3066.37
[Scaling] Objective coefficient relative error: 0.000113638
[Scaling] Objective worst-case absolute error: 7.26198e-05
[Scaling] Objective scaling factor: 2.09715e+06
5.73e-04s 0.00e+00d [DetectDominanceRelations]
1.39e-02s 0.00e+00d [PresolveToFixPoint] #num_loops=2 #num_dual_strengthening=1
3.41e-05s 0.00e+00d [ExtractEncodingFromLinear] #potential_supersets=424
2.68e-04s 0.00e+00d [DetectDuplicateColumns]
2.22e-04s 0.00e+00d [DetectDuplicateConstraints]
[Symmetry] Graph for symmetry has 8'867 nodes and 16'680 arcs.
[Symmetry] Symmetry computation done. time: 0.000945122 dtime: 0.00160861
[SAT presolve] num removable Booleans: 0 / 1'220
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:460 literals:920 vars:920 one_side_vars:920 simple_definition:0 singleton_clauses:0
[SAT presolve] [3.371e-05s] clauses:460 literals:920 vars:920 one_side_vars:920 simple_definition:0 singleton_clauses:0
[SAT presolve] [5.9694e-05s] clauses:460 literals:920 vars:920 one_side_vars:920 simple_definition:0 singleton_clauses:0
2.43e-04s 0.00e+00d [DetectDuplicateConstraintsWithDifferentEnforcements]
2.73e-02s 1.66e-02d [Probe] #probed=4'880 #new_binary_clauses=1'220
8.26e-04s 7.78e-04d [MaxClique] Merged 784 constraints with 2'340 literals into 417 constraints with 1'606 literals
5.03e-04s 0.00e+00d [DetectDominanceRelations]
4.51e-03s 0.00e+00d [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
1.70e-03s 0.00e+00d [ProcessAtMostOneAndLinear] #num_changes=1'220
2.22e-04s 0.00e+00d [DetectDuplicateConstraints]
2.10e-04s 0.00e+00d [DetectDuplicateConstraintsWithDifferentEnforcements]
2.81e-04s 2.07e-05d [DetectDominatedLinearConstraints] #relevant_constraints=203 #num_inclusions=101
2.93e-05s 0.00e+00d [DetectDifferentVariables]
5.17e-03s 6.49e-04d [ProcessSetPPC] #relevant_constraints=519 #num_inclusions=517
1.96e-04s 0.00e+00d [TransformClausesToExactlyOne] #num_amos=417
8.29e-04s 0.00e+00d [DetectEncodedComplexDomains]
3.46e-05s 0.00e+00d [FindAlmostIdenticalLinearConstraints]
5.65e-04s 1.23e-03d [FindBigAtMostOneAndLinearOverlap]
2.70e-04s 1.24e-03d [FindBigVerticalLinearOverlap]
1.75e-04s 6.15e-04d [FindBigHorizontalLinearOverlap] #linears=200
1.72e-05s 0.00e+00d [MergeClauses]
5.16e-04s 0.00e+00d [DetectDominanceRelations]
7.02e-03s 0.00e+00d [PresolveToFixPoint] #num_loops=2 #num_dual_strengthening=1
4.77e-04s 0.00e+00d [DetectDominanceRelations]
3.93e-03s 0.00e+00d [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
1.25e-04s 0.00e+00d [DetectDuplicateColumns]
2.14e-04s 0.00e+00d [DetectDuplicateConstraints]
[Symmetry] Graph for symmetry has 8'125 nodes and 13'985 arcs.
[Symmetry] Symmetry computation done. time: 0.000512725 dtime: 0.00149787
[SAT presolve] num removable Booleans: 0 / 1'220
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:93 literals:186 vars:186 one_side_vars:186 simple_definition:0 singleton_clauses:0
[SAT presolve] [2.1383e-05s] clauses:93 literals:186 vars:186 one_side_vars:186 simple_definition:0 singleton_clauses:0
[SAT presolve] [5.0375e-05s] clauses:93 literals:186 vars:186 one_side_vars:186 simple_definition:0 singleton_clauses:0
2.21e-04s 0.00e+00d [DetectDuplicateConstraintsWithDifferentEnforcements]
1.13e-02s 5.55e-03d [Probe] #probed=2'440
3.40e-04s 5.26e-04d [MaxClique]
4.73e-04s 0.00e+00d [DetectDominanceRelations]
3.82e-03s 0.00e+00d [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
2.22e-04s 0.00e+00d [ProcessAtMostOneAndLinear]
2.13e-04s 0.00e+00d [DetectDuplicateConstraints]
2.09e-04s 0.00e+00d [DetectDuplicateConstraintsWithDifferentEnforcements]
2.24e-04s 1.52e-05d [DetectDominatedLinearConstraints] #relevant_constraints=202 #num_inclusions=100
2.75e-05s 0.00e+00d [DetectDifferentVariables]
1.76e-04s 9.85e-06d [ProcessSetPPC] #relevant_constraints=518
1.68e-04s 0.00e+00d [TransformClausesToExactlyOne] #num_amos=417
8.29e-04s 0.00e+00d [DetectEncodedComplexDomains]
3.64e-05s 0.00e+00d [FindAlmostIdenticalLinearConstraints]
6.06e-04s 1.23e-03d [FindBigAtMostOneAndLinearOverlap]
2.93e-04s 1.24e-03d [FindBigVerticalLinearOverlap]
1.81e-04s 6.15e-04d [FindBigHorizontalLinearOverlap] #linears=200
1.84e-05s 0.00e+00d [MergeClauses]
5.26e-04s 0.00e+00d [DetectDominanceRelations]
4.03e-03s 0.00e+00d [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
7.74e-06s 0.00e+00d [MergeNoOverlap]
7.67e-06s 0.00e+00d [MergeNoOverlap2D]
3.84e-04s 0.00e+00d [ExpandObjective] #entries=14'058 #tight_variables=1'220 #tight_constraints=100
Presolve summary:
- 0 affine relations were detected.
- rule 'TODO linear inclusion: superset is equality' was applied 201 times.
- rule 'TODO linear2: convert ax + by != cte to clauses for large domains' was applied 7'320 times.
- rule 'at_most_one: transformed into max clique' was applied 1 time.
- rule 'bool_or: implications' was applied 460 times.
- rule 'deductions: 2440 stored' was applied 1 time.
- rule 'linear + amo: extracted enforcement literal' was applied 1'220 times.
- rule 'linear2: contains a boolean' was applied 1'220 times.
- rule 'linear2: convert ax + by != cte to clauses' was applied 460 times.
- rule 'linear: positive at most one' was applied 324 times.
- rule 'linear: positive equal one' was applied 100 times.
- rule 'objective: shifted cost with exactly ones' was applied 100 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 100 times.
- rule 'setppc: reduced linear coefficients' was applied 99 times.
- rule 'setppc: removed trivial linear constraint' was applied 1 time.
- rule 'variables: detect fully reified value encoding' was applied 1'220 times.
- rule 'variables: detect half reified value encoding' was applied 2'440 times.
Presolved optimization model 'optiwindnet': (model_fingerprint: 0x88f53ee053cff1b)
#Variables: 2'440 (#bools: 1'120 in objective) (2'240 primary variables)
- 1'220 Booleans in [0,1]
- 920 in [0,6]
- 300 in [0,7]
#kAtMostOne: 324 (#literals: 1'420)
#kBoolAnd: 93 (#enforced: 93) (#literals: 186)
#kExactlyOne: 100 (#literals: 1'220)
#kLinear1: 2'440 (#enforced: 2'440)
#kLinearN: 202 (#terms: 3'660)
[Symmetry] Graph for symmetry has 8'125 nodes and 13'985 arcs.
[Symmetry] Symmetry computation done. time: 0.000494066 dtime: 0.00149374
Preloading model.
#Bound 0.10s best:inf next:[115871.04,3301397.57] initial_domain
#1 0.10s best:149862.393 next:[115871.04,149862.393] complete_hint
#Model 0.11s var:2440/2440 constraints:3159/3159
Starting search at 0.11s with 16 workers.
11 full problem subsolvers: [core, default_lp, lb_tree_search, max_lp, no_lp, objective_lb_search, probing, pseudo_costs, quick_restart, quick_restart_no_lp, reduced_costs]
5 first solution subsolvers: [fj(2), fs_random, fs_random_no_lp, fs_random_quick_restart_no_lp]
11 interleaved subsolvers: [feasibility_pump, graph_arc_lns, graph_cst_lns, graph_dec_lns, graph_var_lns, lb_relax_lns, ls, ls_lin, rins/rens, rnd_cst_lns, rnd_var_lns]
3 helper subsolvers: [neighborhood_helper, synchronization_agent, update_gap_integral]
#Bound 0.15s best:149862.393 next:[119116.745,149862.393] am1_presolve (num_literals=1120 num_am1=33 increase=6806735146 work_done=3885)
#Bound 0.17s best:149862.393 next:[124581.312,149862.393] default_lp
#Bound 0.17s best:149862.393 next:[126580.195,149862.393] pseudo_costs
#2 0.24s best:149862.391 next:[126580.195,149862.391] quick_restart_no_lp (fixed_bools=0/1268)
#Bound 0.25s best:149862.391 next:[139019.159,149862.391] max_lp
#3 0.33s best:149432.06 next:[139019.159,149432.06] graph_cst_lns (d=5.00e-01 s=15 t=0.10 p=0.00 stall=0 h=base)
#4 0.33s best:149432.058 next:[139019.159,149432.058] graph_cst_lns (d=5.00e-01 s=15 t=0.10 p=0.00 stall=0 h=base) [combined with: quick_restart_no_lp...]
#Bound 0.38s best:149432.058 next:[139621.032,149432.058] max_lp
#5 0.47s best:148967.949 next:[139621.032,148967.949] graph_dec_lns (d=7.07e-01 s=26 t=0.10 p=1.00 stall=1 h=base)
#Model 0.48s var:2416/2440 constraints:3134/3159
#Model 1.05s var:2410/2440 constraints:3128/3159
#Model 1.17s var:2396/2440 constraints:3114/3159
#Bound 1.18s best:148967.949 next:[139665.785,148967.949] max_lp
#6 1.19s best:148967.648 next:[139665.785,148967.648] ls_restart_compound(batch:1 lin{mvs:0 evals:80'041} gen{mvs:3'698 evals:0} comp{mvs:228 btracks:1'735} #w_updates:30 #perturb:0)
#Model 1.32s var:2388/2440 constraints:3106/3159
#Model 1.34s var:2384/2440 constraints:3102/3159
#Bound 1.35s best:148967.648 next:[139857.577,148967.648] lb_tree_search
#Bound 1.35s best:148967.648 next:[140081.042,148967.648] max_lp
#7 1.38s best:148400.403 next:[140081.042,148400.403] graph_var_lns (d=6.92e-01 s=44 t=0.10 p=0.67 stall=1 h=base)
#Model 1.39s var:2352/2440 constraints:3070/3159
#Model 1.49s var:2340/2440 constraints:3058/3159
#Bound 1.50s best:148400.403 next:[140270.247,148400.403] max_lp
#8 1.52s best:147990.475 next:[140270.247,147990.475] graph_arc_lns (d=2.93e-01 s=43 t=0.10 p=0.00 stall=1 h=base) [combined with: graph_var_lns (d=6.9...]
#Model 1.56s var:2338/2440 constraints:3056/3159
#Bound 1.65s best:147990.475 next:[140336.879,147990.475] lb_tree_search
#Model 1.66s var:2324/2440 constraints:3042/3159
#Bound 1.81s best:147990.475 next:[140474.528,147990.475] max_lp
#9 1.81s best:147988.775 next:[140474.528,147988.775] quick_restart_no_lp (fixed_bools=58/1309)
#Model 1.82s var:2298/2440 constraints:3016/3159
#Bound 1.93s best:147988.775 next:[140497.684,147988.775] lb_tree_search
#Bound 1.96s best:147988.775 next:[140622.744,147988.775] max_lp
#Model 1.99s var:2274/2440 constraints:2992/3159
#10 2.03s best:147873.092 next:[140622.744,147873.092] quick_restart_no_lp (fixed_bools=83/1310)
#11 2.06s best:147495.797 next:[140622.744,147495.797] quick_restart_no_lp (fixed_bools=83/1311)
#Bound 2.26s best:147495.797 next:[140822.908,147495.797] max_lp
#Bound 2.29s best:147495.797 next:[140847.782,147495.797] lb_tree_search
#Model 2.33s var:2244/2440 constraints:2961/3159
#12 2.52s best:147046.032 next:[140847.782,147046.032] graph_arc_lns (d=4.62e-01 s=55 t=0.10 p=0.50 stall=0 h=base)
#13 2.98s best:146877.944 next:[140847.782,146877.944] graph_arc_lns (d=3.08e-01 s=72 t=0.10 p=0.33 stall=0 h=base)
#14 3.12s best:146590.21 next:[140847.782,146590.21] quick_restart_no_lp (fixed_bools=98/1321)
#Bound 3.33s best:146590.21 next:[140973.524,146590.21] lb_tree_search
#Model 3.36s var:2212/2440 constraints:2928/3159
#15 3.92s best:146589.54 next:[140973.524,146589.54] graph_var_lns (d=7.71e-01 s=90 t=0.10 p=0.62 stall=4 h=base)
#Bound 3.96s best:146589.54 next:[141080.994,146589.54] lb_tree_search
#Model 4.00s var:2156/2440 constraints:2871/3159
#16 4.47s best:146588.999 next:[141080.994,146588.999] graph_dec_lns (d=7.52e-01 s=113 t=0.10 p=0.57 stall=0 h=base)
#Bound 4.83s best:146588.999 next:[141258.061,146588.999] lb_tree_search
#Model 4.85s var:2140/2440 constraints:2855/3159
#17 5.12s best:146460.76 next:[141258.061,146460.76] quick_restart_no_lp (fixed_bools=150/1341)
#18 5.15s best:146325.801 next:[141258.061,146325.801] quick_restart_no_lp (fixed_bools=150/1342)
#19 5.18s best:146316.576 next:[141258.061,146316.576] quick_restart_no_lp (fixed_bools=150/1342)
#20 5.22s best:145938.464 next:[141258.061,145938.464] quick_restart_no_lp (fixed_bools=150/1343)
#21 5.27s best:144719.237 next:[141258.061,144719.237] quick_restart_no_lp (fixed_bools=150/1344)
#22 5.33s best:144325.147 next:[141258.061,144325.147] quick_restart_no_lp (fixed_bools=150/1344)
#Bound 5.64s best:144325.147 next:[141321.143,144325.147] lb_tree_search
#Model 5.66s var:2138/2440 constraints:2853/3159
#Model 5.81s var:2004/2440 constraints:2715/3159
#Bound 5.84s best:144325.147 next:[141321.289,144325.147] lb_tree_search
#Model 5.91s var:1966/2440 constraints:2672/3159
#23 6.02s best:144302.23 next:[141321.289,144302.23] quick_restart_no_lp (fixed_bools=237/1349)
#Bound 6.17s best:144302.23 next:[141362.813,144302.23] lb_tree_search
#Model 6.17s var:1964/2440 constraints:2669/3159
#Bound 6.19s best:144302.23 next:[141363.096,144302.23] lb_tree_search
#24 6.51s best:144114.136 next:[141363.096,144114.136] rnd_var_lns (d=7.98e-01 s=150 t=0.10 p=0.60 stall=10 h=base)
#Bound 6.97s best:144114.136 next:[141491.982,144114.136] lb_tree_search
#Model 7.02s var:1948/2440 constraints:2652/3159
#Model 7.39s var:1938/2440 constraints:2642/3159
#Bound 8.30s best:144114.136 next:[141528.823,144114.136] lb_tree_search
#Bound 8.33s best:144114.136 next:[141535.559,144114.136] lb_tree_search
#Model 8.36s var:1896/2440 constraints:2595/3159
#Bound 9.44s best:144114.136 next:[141570.611,144114.136] lb_tree_search
#Model 9.44s var:1892/2440 constraints:2591/3159
#Bound 9.60s best:144114.136 next:[141573.895,144114.136] lb_tree_search
#25 10.30s best:143783.253 next:[141573.895,143783.253] lb_relax_lns_int_h (d=2.79e-01 s=240 t=0.50 p=0.33 stall=1 h=base)
#Bound 10.79s best:143783.253 next:[141593.875,143783.253] lb_tree_search
#Model 10.81s var:1890/2440 constraints:2589/3159
#Bound 10.81s best:143783.253 next:[141599.309,143783.253] lb_tree_search
#Model 10.82s var:1822/2440 constraints:2518/3159
#Bound 11.84s best:143783.253 next:[141635.254,143783.253] lb_tree_search
#Model 11.88s var:1800/2440 constraints:2493/3159
#Model 11.96s var:1798/2440 constraints:2490/3159
#Bound 12.09s best:143783.253 next:[141643.933,143783.253] lb_tree_search
#26 12.98s best:143674.992 next:[141643.933,143674.992] graph_var_lns (d=6.36e-01 s=307 t=0.10 p=0.50 stall=3 h=base)
#Bound 13.65s best:143674.992 next:[141666.458,143674.992] lb_tree_search
#Model 13.66s var:1786/2440 constraints:2477/3159
#Bound 13.67s best:143674.992 next:[141666.96,143674.992] lb_tree_search
#Model 13.76s var:1770/2440 constraints:2460/3159
#Bound 14.53s best:143674.992 next:[141709.939,143674.992] lb_tree_search
#Model 14.59s var:1742/2440 constraints:2429/3159
#Model 14.66s var:1740/2440 constraints:2426/3159
#Model 14.89s var:1738/2440 constraints:2424/3159
#27 14.96s best:143658.194 next:[141715.307,143658.194] lb_relax_lns_int (d=2.86e-01 s=340 t=0.50 p=0.40 stall=1 h=base)
#Bound 14.76s best:143674.992 next:[141715.307,143674.992] lb_tree_search [skipped_logs=0]
#Model 15.65s var:1730/2440 constraints:2416/3159
#Model 15.71s var:1724/2440 constraints:2410/3159
#Bound 15.70s best:143658.194 next:[141736.91,143658.194] lb_tree_search [skipped_logs=1]
#Model 16.83s var:1722/2440 constraints:2408/3159
#Bound 16.73s best:143658.194 next:[141746.026,143658.194] lb_tree_search [skipped_logs=1]
#Model 17.83s var:1710/2440 constraints:2395/3159
#Bound 17.77s best:143658.194 next:[141765.668,143658.194] lb_tree_search [skipped_logs=1]
#Model 18.70s var:1706/2440 constraints:2391/3159
#Model 18.88s var:1702/2440 constraints:2387/3159
#Bound 18.88s best:143658.194 next:[141783.652,143658.194] lb_tree_search [skipped_logs=1]
#Model 19.93s var:1700/2440 constraints:2385/3159
#Bound 19.95s best:143658.194 next:[141806.122,143658.194] lb_tree_search [skipped_logs=1]
#Model 19.95s var:1698/2440 constraints:2383/3159 [skipped_logs=0]
#Bound 20.98s best:143658.194 next:[141811.72,143658.194] lb_tree_search [skipped_logs=0]
#Bound 22.06s best:143658.194 next:[141814.521,143658.194] lb_tree_search
#Model 22.12s var:1696/2440 constraints:2381/3159
#Bound 22.11s best:143658.194 next:[141823.865,143658.194] lb_tree_search [skipped_logs=0]
#Model 23.43s var:1694/2440 constraints:2379/3159
#Bound 23.20s best:143658.194 next:[141825.602,143658.194] lb_tree_search [skipped_logs=0]
#Bound 24.77s best:143658.194 next:[141835.935,143658.194] lb_tree_search [skipped_logs=1]
#Bound 25.95s best:143658.194 next:[141837.877,143658.194] lb_tree_search [skipped_logs=0]
#Bound 27.32s best:143658.194 next:[141839.563,143658.194] lb_tree_search
#Bound 28.71s best:143658.194 next:[141846.203,143658.194] lb_tree_search
#Bound 28.74s best:143658.194 next:[141846.331,143658.194] lb_tree_search [skipped_logs=0]
#Model 30.01s var:1692/2440 constraints:2377/3159
#Bound 30.06s best:143658.194 next:[141848.353,143658.194] lb_tree_search
#Bound 30.07s best:143658.194 next:[141848.353,143658.194] lb_tree_search [skipped_logs=0]
#Bound 31.53s best:143658.194 next:[141851.635,143658.194] lb_tree_search [skipped_logs=1]
#Bound 32.99s best:143658.194 next:[141858.41,143658.194] lb_tree_search [skipped_logs=1]
#Bound 34.28s best:143658.194 next:[141863.396,143658.194] lb_tree_search
#Bound 34.30s best:143658.194 next:[141863.404,143658.194] lb_tree_search [skipped_logs=0]
#28 36.05s best:143302.071 next:[141866.674,143302.071] graph_var_lns (d=6.46e-01 s=852 t=0.10 p=0.50 stall=2 h=base)
#29 36.06s best:143301.631 next:[141866.674,143301.631] graph_var_lns (d=6.46e-01 s=852 t=0.10 p=0.50 stall=2 h=base) [combined with: lb_relax_lns_int (d=...]
#Bound 35.67s best:143658.194 next:[141866.674,143658.194] lb_tree_search [skipped_logs=0]
#30 36.14s best:143300.106 next:[141866.674,143300.106] quick_restart_no_lp (fixed_bools=391/1563)
#Bound 37.04s best:143300.106 next:[141870.947,143300.106] lb_tree_search
#Model 37.04s var:1618/2440 constraints:2293/3159
#Bound 38.55s best:143300.106 next:[141876.78,143300.106] lb_tree_search
#Model 38.56s var:1580/2440 constraints:2251/3159
#Bound 38.59s best:143300.106 next:[141876.801,143300.106] lb_tree_search [skipped_logs=0]
#Model 39.70s var:1578/2440 constraints:2249/3159
#Model 40.00s var:1576/2440 constraints:2247/3159
Task timing n [ min, max] avg dev time n [ min, max] avg dev dtime
'core': 1 [ 39.89s, 39.89s] 39.89s 0.00ns 39.89s 2 [ 5.69ms, 25.69s] 12.85s 12.84s 25.70s
'default_lp': 1 [ 39.91s, 39.91s] 39.91s 0.00ns 39.91s 2 [182.86ms, 17.09s] 8.64s 8.45s 17.27s
'feasibility_pump': 191 [ 2.47ms, 115.04ms] 5.99ms 8.69ms 1.14s 190 [525.66us, 70.03ms] 1.16ms 5.52ms 220.18ms
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'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': 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
'fs_random_quick_restart_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': 86 [ 11.64ms, 511.33ms] 229.50ms 150.54ms 19.74s 86 [ 34.37us, 102.13ms] 59.30ms 43.29ms 5.10s
'graph_cst_lns': 73 [ 6.06ms, 646.92ms] 266.32ms 189.65ms 19.44s 73 [ 10.00ns, 100.24ms] 56.62ms 44.78ms 4.13s
'graph_dec_lns': 73 [ 8.14ms, 591.89ms] 276.36ms 194.38ms 20.17s 73 [ 10.00ns, 100.23ms] 57.63ms 45.79ms 4.21s
'graph_var_lns': 80 [ 8.25ms, 556.57ms] 243.72ms 167.42ms 19.50s 80 [278.00ns, 100.28ms] 59.54ms 44.61ms 4.76s
'lb_relax_lns': 16 [231.42ms, 2.13s] 1.27s 704.92ms 20.24s 16 [ 67.77ms, 604.31ms] 396.52ms 219.69ms 6.34s
'lb_tree_search': 1 [ 39.89s, 39.89s] 39.89s 0.00ns 39.89s 2 [319.10ms, 9.51s] 4.91s 4.59s 9.83s
'ls': 106 [ 84.28ms, 267.02ms] 180.95ms 26.13ms 19.18s 106 [ 49.28ms, 100.06ms] 99.54ms 4.90ms 10.55s
'ls_lin': 109 [124.72ms, 250.46ms] 176.19ms 19.35ms 19.20s 109 [ 78.88ms, 100.04ms] 99.82ms 2.02ms 10.88s
'max_lp': 1 [ 39.89s, 39.89s] 39.89s 0.00ns 39.89s 2 [334.54ms, 16.80s] 8.57s 8.23s 17.14s
'no_lp': 1 [ 39.89s, 39.89s] 39.89s 0.00ns 39.89s 2 [ 6.53ms, 10.57s] 5.29s 5.28s 10.58s
'objective_lb_search': 1 [ 39.89s, 39.89s] 39.89s 0.00ns 39.89s 2 [226.50ms, 16.29s] 8.26s 8.03s 16.52s
'probing': 1 [ 39.91s, 39.91s] 39.91s 0.00ns 39.91s 2 [179.07ms, 14.78s] 7.48s 7.30s 14.96s
'pseudo_costs': 1 [ 39.89s, 39.89s] 39.89s 0.00ns 39.89s 2 [ 56.01ms, 10.21s] 5.13s 5.08s 10.27s
'quick_restart': 1 [ 39.91s, 39.91s] 39.91s 0.00ns 39.91s 2 [221.25ms, 15.35s] 7.78s 7.56s 15.57s
'quick_restart_no_lp': 1 [ 39.89s, 39.89s] 39.89s 0.00ns 39.89s 2 [ 6.53ms, 18.84s] 9.42s 9.42s 18.85s
'reduced_costs': 1 [ 39.89s, 39.89s] 39.89s 0.00ns 39.89s 2 [ 55.32ms, 12.87s] 6.46s 6.41s 12.93s
'rins/rens': 78 [ 4.52ms, 587.45ms] 265.29ms 210.01ms 20.69s 66 [ 25.35us, 100.15ms] 66.00ms 44.55ms 4.36s
'rnd_cst_lns': 65 [ 14.00ms, 584.67ms] 300.28ms 162.38ms 19.52s 65 [176.00ns, 100.33ms] 66.52ms 40.50ms 4.32s
'rnd_var_lns': 75 [ 12.29ms, 696.14ms] 256.80ms 199.16ms 19.26s 75 [ 26.00ns, 100.24ms] 52.48ms 45.84ms 3.94s
Search stats Bools Conflicts Branches Restarts BacktrackToRoot Backtrack BoolPropag IntegerPropag
'core': 1'253 316'656 686'425 49 25'948 345'215 6'861'201 16'622'052
'default_lp': 1'312 1'659 59'267 7 24'362 30'602 340'108 1'991'441
'fs_random': 0 0 0 0 0 0 0 0
'fs_random_no_lp': 0 0 0 0 0 0 0 0
'fs_random_quick_restart_no_lp': 0 0 0 0 0 0 0 0
'lb_tree_search': 1'220 22 242'288 0 105'055 127'020 868'224 2'559'006
'max_lp': 1'220 1'636 45'179 4 20'199 24'492 251'802 1'529'748
'no_lp': 1'220 239'061 306'662 86 13'800 253'245 26'073'555 84'100'617
'objective_lb_search': 1'308 1'993 60'399 11 24'693 33'073 328'709 1'976'846
'probing': 1'261 12 3'187 0 2'604 2'615 23'681 83'194
'pseudo_costs': 1'220 6'039 39'191 5 12'311 19'995 625'518 3'122'842
'quick_restart': 1'294 263 81'201 18 33'315 41'675 334'453 2'197'659
'quick_restart_no_lp': 1'587 82'700 2'148'658 7'522 54'112 153'721 11'604'257 49'093'325
'reduced_costs': 1'232 3'857 112'163 19 36'358 47'638 544'764 3'586'017
SAT formula Fixed Equiv Total VarLeft BinaryClauses PermanentClauses TemporaryClauses
'core': 432 0 1'253 821 912 428 10'484
'default_lp': 431 0 1'312 881 1'264 262 1'355
'fs_random': 0 0 0 0 0 0 0
'fs_random_no_lp': 0 0 0 0 0 0 0
'fs_random_quick_restart_no_lp': 0 0 0 0 0 0 0
'lb_tree_search': 431 0 1'220 789 878 232 0
'max_lp': 373 0 1'220 847 692 213 1'386
'no_lp': 351 0 1'220 869 658 626 9'768
'objective_lb_search': 441 0 1'308 867 1'178 271 116
'probing': 73 0 1'261 1'188 3'514 100 10
'pseudo_costs': 374 0 1'220 846 694 278 4'956
'quick_restart': 433 0 1'294 861 1'204 263 140
'quick_restart_no_lp': 460 0 1'587 1'127 3'370 1'570 14'984
'reduced_costs': 411 0 1'232 821 838 233 3'546
SAT stats ClassicMinim LitRemoved LitRemovedBinary LitLearned LitForgotten Subsumed
'core': 284'712 7'575'097 1'403'675 51'449'543 34'085'743 88'518
'default_lp': 1'381 34'035 60'826 183'670 0 228
'fs_random': 0 0 0 0 0 0
'fs_random_no_lp': 0 0 0 0 0 0
'fs_random_quick_restart_no_lp': 0 0 0 0 0 0
'lb_tree_search': 0 0 17 214 0 15
'max_lp': 1'526 70'309 62'048 217'837 0 241
'no_lp': 233'713 3'266'502 88'250 32'942'589 3'771'650 185'957
'objective_lb_search': 1'903 222'790 37'523 93'081 0 465
'probing': 7 129 646 4'624 0 1
'pseudo_costs': 5'426 141'282 335'276 852'654 0 925
'quick_restart': 183 4'884 6'093 18'305 0 56
'quick_restart_no_lp': 68'707 882'173 1'555'048 8'656'871 5'280'059 11'443
'reduced_costs': 2'819 30'181 112'779 901'642 0 293
Vivification Clauses Decisions LitTrue Subsumed LitRemoved DecisionReused Conflicts
'core': 8'036 55'043 0 278 2'717 1'993 6
'default_lp': 3'717 28'918 0 106 802 457 1
'fs_random': 0 0 0 0 0 0 0
'fs_random_no_lp': 0 0 0 0 0 0 0
'fs_random_quick_restart_no_lp': 0 0 0 0 0 0 0
'lb_tree_search': 17'974 132'534 0 112 842 1'844 1
'max_lp': 2'389 19'677 0 49 340 281 0
'no_lp': 1'273 11'563 0 11 110 211 0
'objective_lb_search': 3'703 28'098 0 105 804 448 5
'probing': 0 0 0 0 0 0 0
'pseudo_costs': 1'767 13'653 0 73 563 267 0
'quick_restart': 5'729 42'068 0 98 736 794 2
'quick_restart_no_lp': 22'908 135'940 4 731 6'208 5'845 75
'reduced_costs': 6'426 46'735 0 113 843 688 1
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': 1'253 674 0 84'431 3'159 4 4'087 278 2 858 0 0 211'279 880'734 316'656
'default_lp': 96 4 0 221 0 1 7 106 3 4 0 0 0 3'922 1'659
'fs_random': 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
'fs_random_no_lp': 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
'fs_random_quick_restart_no_lp': 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
'lb_tree_search': 54 0 0 14 0 0 1 112 2 3 0 0 0 3 22
'max_lp': 11 0 0 231 0 0 10 49 3 1 0 0 0 3'699 1'636
'no_lp': 658 31 0 184'890 238 631 1'067 11 0 5 0 0 41'251 493'398 239'061
'objective_lb_search': 1'388 38 0 435 4 6 30 105 4 1 0 0 0 4'121 1'993
'probing': 0 0 0 1 0 0 0 0 0 0 0 0 0 23 12
'pseudo_costs': 96 21 0 884 11 0 41 73 4 20 0 0 0 17'593 6'039
'quick_restart': 94 0 1 53 0 0 3 98 3 8 0 0 0 464 263
'quick_restart_no_lp': 6'949 93 22 10'050 154 25 1'393 731 98 329 0 0 46'270 190'598 82'700
'reduced_costs': 43 0 0 283 5 3 10 113 1 2 0 0 0 29'898 3'857
Lp stats Component Iterations AddedCuts OPTIMAL DUAL_F. DUAL_U.
'default_lp': 1 165'980 4'764 5'763 4 76
'lb_tree_search': 1 23'154 3'690 252 15 0
'max_lp': 1 155'799 3'142 4'918 384 109
'objective_lb_search': 1 186'415 4'607 6'474 3 71
'probing': 1 35'894 5'352 444 2 3
'pseudo_costs': 1 245'905 2'645 15'135 505 460
'quick_restart': 1 85'417 5'186 2'244 3 19
'reduced_costs': 1 233'674 3'576 10'809 929 351
Lp dimension Final dimension of first component
'default_lp': 1495 rows, 2343 columns, 18026 entries
'lb_tree_search': 4665 rows, 2440 columns, 75900 entries
'max_lp': 1506 rows, 2440 columns, 14936 entries
'objective_lb_search': 1545 rows, 2343 columns, 20340 entries
'probing': 3701 rows, 2343 columns, 113296 entries
'pseudo_costs': 1016 rows, 2440 columns, 5312 entries
'quick_restart': 1957 rows, 2343 columns, 33722 entries
'reduced_costs': 1386 rows, 2440 columns, 11363 entries
Lp debug CutPropag CutEqPropag Adjust Overflow Bad BadScaling
'default_lp': 0 0 5'824 0 21'718 0
'lb_tree_search': 0 1 267 0 181'088 0
'max_lp': 0 6 5'397 0 25'248 0
'objective_lb_search': 0 2 6'535 0 24'074 0
'probing': 0 6 446 0 97'336 0
'pseudo_costs': 0 0 16'040 0 1'976 0
'quick_restart': 0 2 2'257 0 49'412 0
'reduced_costs': 0 0 12'055 0 9'220 0
Lp pool Constraints Updates Simplif Merged Shortened Split Strengthened Cuts/Call
'default_lp': 8'759 387 20'712 0 10'107 86 128 4'764/10'655
'lb_tree_search': 8'069 2'620 42'681 0 18'552 1'119 160 3'690/6'444
'max_lp': 7'521 489 13'661 0 7'196 131 211 3'142/6'265
'objective_lb_search': 8'602 245 21'955 0 8'573 82 141 4'607/10'045
'probing': 9'347 1'165 13'184 0 2'172 1'733 99 5'352/9'581
'pseudo_costs': 7'024 8 6'209 0 2'899 0 74 2'645/8'324
'quick_restart': 9'181 668 30'754 0 12'700 265 123 5'186/9'708
'reduced_costs': 7'955 120 20'880 0 3'913 15 93 3'576/11'691
Lp Cut max_lp reduced_costs pseudo_costs lb_tree_search objective_lb_search default_lp quick_restart probing
CG_FF: 19 35 23 6 35 49 20 33
CG_K: 14 12 13 6 33 37 23 30
CG_KL: - 9 8 - 8 13 10 11
CG_R: 51 66 37 23 41 66 25 37
CG_RB: 77 107 41 68 88 125 51 75
CG_RBP: 28 46 27 18 37 54 25 33
IB: 1'058 1'996 2'135 4 1'622 1'655 1'412 1'133
MIR_1_FF: 156 57 13 362 231 260 506 448
MIR_1_K: 13 12 6 39 67 83 145 125
MIR_1_KL: 15 7 3 30 40 33 47 52
MIR_1_R: 3 3 - 17 6 5 13 45
MIR_1_RB: 40 28 12 56 69 77 71 102
MIR_1_RBP: 31 14 3 221 90 74 131 223
MIR_2_FF: 161 82 32 274 213 219 302 308
MIR_2_K: 17 16 5 28 87 78 104 106
MIR_2_KL: 15 6 2 33 36 39 39 56
MIR_2_R: 8 7 6 33 8 13 8 30
MIR_2_RB: 94 82 25 148 132 131 167 145
MIR_2_RBP: 31 14 7 79 77 86 137 117
MIR_3_FF: 129 104 23 261 149 146 195 193
MIR_3_K: 28 24 4 50 78 66 85 90
MIR_3_KL: 13 6 4 13 24 20 30 24
MIR_3_R: 16 11 5 31 8 12 19 22
MIR_3_RB: 108 105 30 141 108 115 124 125
MIR_3_RBP: 33 15 4 67 66 86 103 105
MIR_4_FF: 107 56 11 213 110 91 110 155
MIR_4_K: 26 24 5 34 66 57 72 74
MIR_4_KL: 13 3 1 13 11 14 13 27
MIR_4_R: 11 8 - 21 16 10 8 20
MIR_4_RB: 79 70 17 96 56 62 76 69
MIR_4_RBP: 33 19 3 57 48 45 68 73
MIR_5_FF: 72 35 11 150 84 70 87 104
MIR_5_K: 28 23 6 48 63 59 66 62
MIR_5_KL: 23 19 5 30 18 24 20 26
MIR_5_R: 9 6 3 22 7 6 2 15
MIR_5_RB: 64 42 14 73 38 47 34 52
MIR_5_RBP: 45 25 1 71 46 40 66 83
MIR_6_FF: 57 24 3 105 45 50 59 44
MIR_6_K: 42 23 5 71 51 48 42 49
MIR_6_KL: 35 20 6 53 38 36 26 43
MIR_6_R: 4 5 2 9 6 7 4 4
MIR_6_RB: 47 43 13 54 40 30 25 28
MIR_6_RBP: 39 30 1 119 67 46 70 97
ZERO_HALF_FF: 34 21 13 12 30 41 18 33
ZERO_HALF_K: 2 3 1 - 20 22 16 14
ZERO_HALF_KL: 8 7 2 1 8 6 9 9
ZERO_HALF_R: 166 172 40 340 336 328 404 481
ZERO_HALF_RB: 20 20 6 61 28 52 61 74
ZERO_HALF_RBP: 20 14 8 29 22 31 38 48
LNS stats Improv/Calls Closed Difficulty TimeLimit
'graph_arc_lns': 9/86 49% 3.45e-01 0.10
'graph_cst_lns': 8/73 52% 7.30e-01 0.10
'graph_dec_lns': 8/73 49% 7.45e-01 0.10
'graph_var_lns': 12/80 48% 4.61e-01 0.10
'lb_relax_lns': 8/16 44% 2.74e-01 0.50
'rins/rens': 59/78 49% 4.61e-01 0.10
'rnd_cst_lns': 5/65 51% 7.47e-01 0.10
'rnd_var_lns': 10/75 53% 8.40e-01 0.10
LS stats Batches Restarts/Perturbs LinMoves GenMoves CompoundMoves Bactracks WeightUpdates ScoreComputed
'ls_lin_restart': 16 11 176'755 0 0 0 30'243 6'373'295
'ls_lin_restart_compound': 14 13 0 157'146 14'139 71'480 1'060 4'517'360
'ls_lin_restart_compound_perturb': 13 11 0 155'156 13'669 70'724 1'137 4'256'713
'ls_lin_restart_decay': 13 13 157'271 0 0 0 2'609 3'727'208
'ls_lin_restart_decay_compound': 15 11 0 163'853 28'469 67'668 373 4'941'876
'ls_lin_restart_decay_compound_perturb': 12 11 0 124'872 23'801 50'511 354 3'578'492
'ls_lin_restart_decay_perturb': 11 8 137'606 0 0 0 2'411 3'100'286
'ls_lin_restart_perturb': 15 12 162'212 0 0 0 26'363 5'862'953
'ls_restart': 11 11 117'764 0 0 0 20'906 4'289'930
'ls_restart_compound': 8 8 0 80'632 6'623 36'990 579 2'504'151
'ls_restart_compound_perturb': 20 13 0 253'907 26'288 113'777 1'038 7'042'700
'ls_restart_decay': 15 14 179'940 0 0 0 3'179 4'284'237
'ls_restart_decay_compound': 15 12 0 151'189 27'349 61'886 491 4'635'026
'ls_restart_decay_compound_perturb': 11 9 0 111'572 21'288 45'105 278 3'361'524
'ls_restart_decay_perturb': 18 13 227'331 0 0 0 3'854 5'131'678
'ls_restart_perturb': 8 8 82'914 0 0 0 12'737 3'095'135
Solutions (30) Num Rank
'complete_hint': 2 [0,1]
'graph_arc_lns': 6 [7,13]
'graph_cst_lns': 4 [2,4]
'graph_dec_lns': 4 [4,16]
'graph_var_lns': 10 [6,29]
'lb_relax_lns_int': 2 [26,27]
'lb_relax_lns_int_h': 2 [24,25]
'ls_restart_compound': 2 [5,6]
'quick_restart_no_lp': 26 [1,30]
'rnd_var_lns': 2 [23,24]
Objective bounds Num
'am1_presolve': 1
'default_lp': 1
'initial_domain': 1
'lb_tree_search': 56
'max_lp': 8
'pseudo_costs': 1
Solution repositories Added Queried Synchro
'alternative_path': 29 156 29
'best_solutions': 175 631 123
'fj solution hints': 0 0 0
'lp solutions': 466 78 319
'pump': 0 0
Improving bounds shared Num Sym
'default_lp': 18 0
'lb_tree_search': 724 0
'max_lp': 100 0
'objective_lb_search': 2 0
'probing': 20 0
'quick_restart_no_lp': 28 0
Clauses shared #Exported #Imported #BinaryRead #BinaryTotal
'core': 215 346 792 798
'default_lp': 9 502 792 798
'lb_tree_search': 0 473 746 798
'max_lp': 5 344 673 798
'no_lp': 215 35 620 798
'objective_lb_search': 4 508 792 798
'probing': 783 0 5 798
'pseudo_costs': 3 443 743 798
'quick_restart': 27 489 792 798
'quick_restart_no_lp': 161 363 792 798
'reduced_costs': 11 466 746 798
LRAT_status: NA
[Scaling] scaled_objective_bound: 141877 corrected_bound: 141877 delta: -2.71102e-07
CpSolverResponse summary:
status: FEASIBLE
objective: 143300.1064689605
best_bound: 141876.800752246
integers: 0
booleans: 0
conflicts: 0
branches: 0
propagations: 0
integer_propagations: 0
restarts: 0
lp_iterations: 0
walltime: 40.0361
usertime: 40.0361
deterministic_time: 228.44
gap_integral: 1688.21
solution_fingerprint: 0x3098112923cee24
[9]:
SolutionInfo(runtime=40.044727, bound=141876.800752246, objective=143300.10646896047, relgap=0.00993234235330287, termination='FEASIBLE')
[10]:
S, G = solver.get_solution()
[11]:
svgplot(G)
[11]:
Balanced subtrees¶
[12]:
solver.set_problem(
P, A, S_ew.graph['capacity'],
ModelOptions(
topology='branched',
feeder_route='segmented',
feeder_limit='minimum',
balanced=True,
), warmstart=S_ew
)
[13]:
# required to get the log inside the notebook (goes only to console otherwise)
solver.log_callback = print
solver.solve(
time_limit=40,
mip_gap=0.005,
verbose=True,
)
IntegerBoundsPreprocessor 3827 rows, 2440 columns, 13920 entries with magnitude in [1.000000e+00, 7.000000e+00]
BoundPropagationPreprocessor 3827 rows, 2440 columns, 13920 entries with magnitude in [1.000000e+00, 7.000000e+00]
ImpliedIntegerPreprocessor 3827 rows, 2440 columns, 13920 entries with magnitude in [1.000000e+00, 7.000000e+00]
IntegerBoundsPreprocessor 3827 rows, 2440 columns, 13920 entries with magnitude in [1.000000e+00, 7.000000e+00]
ReduceCostOverExclusiveOrConstraintPreprocessor 3827 rows, 2440 columns, 13920 entries with magnitude in [1.000000e+00, 7.000000e+00]
Scaling to pure integer problem.
Num integers: 2440/2440 (implied: 0 in_inequalities: 0 max_scaling: 0) [IP]
Maximum constraint coefficient relative error: 0
Maximum constraint worst-case activity error: 0
Constraint scaling factor range: [1, 1]
Starting CP-SAT solver v9.15.6755
Parameters: max_time_in_seconds: 40 log_search_progress: true catch_sigint_signal: false relative_gap_limit: 0.005 log_to_stdout: false
Setting number of workers to 16
Initial optimization model 'optiwindnet': (model_fingerprint: 0x66fda8a4fbd0294c)
#Variables: 2'440 (#bools: 1'120 in floating point objective) (2'240 primary variables)
- 1'220 Booleans in [0,1]
- 920 in [0,6]
- 300 in [0,7]
#kLinear2: 3'200
#kLinearN: 627 (#terms: 7'520)
Starting presolve at 0.00s
The solution hint is complete, but it is infeasible! we will try to repair it.
[Scaling] Floating point objective has 1120 terms with magnitude in [0.00179184, 17466] average = 3066.37
[Scaling] Objective coefficient relative error: 0.000113638
[Scaling] Objective worst-case absolute error: 7.26198e-05
[Scaling] Objective scaling factor: 2.09715e+06
5.70e-04s 0.00e+00d [DetectDominanceRelations]
1.32e-02s 0.00e+00d [PresolveToFixPoint] #num_loops=2 #num_dual_strengthening=1
3.68e-05s 0.00e+00d [ExtractEncodingFromLinear] #potential_supersets=424
1.82e-04s 0.00e+00d [DetectDuplicateColumns]
2.65e-04s 0.00e+00d [DetectDuplicateConstraints]
[Symmetry] Graph for symmetry has 9'167 nodes and 17'280 arcs.
[Symmetry] Symmetry computation done. time: 0.000921099 dtime: 0.00165647
[SAT presolve] num removable Booleans: 0 / 1'220
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:460 literals:920 vars:920 one_side_vars:920 simple_definition:0 singleton_clauses:0
[SAT presolve] [4.2623e-05s] clauses:460 literals:920 vars:920 one_side_vars:920 simple_definition:0 singleton_clauses:0
[SAT presolve] [6.7754e-05s] clauses:460 literals:920 vars:920 one_side_vars:920 simple_definition:0 singleton_clauses:0
2.49e-04s 0.00e+00d [DetectDuplicateConstraintsWithDifferentEnforcements]
3.05e-02s 1.91e-02d [Probe] #probed=5'480 #new_bounds=300 #new_binary_clauses=920
5.55e-04s 8.16e-04d [MaxClique] Merged 784 constraints with 2'340 literals into 417 constraints with 1'606 literals
5.70e-04s 0.00e+00d [DetectDominanceRelations]
7.78e-03s 0.00e+00d [PresolveToFixPoint] #num_loops=2 #num_dual_strengthening=1
1.46e-03s 0.00e+00d [ProcessAtMostOneAndLinear] #num_changes=920
2.85e-04s 0.00e+00d [DetectDuplicateConstraints] #duplicates=300
2.53e-04s 0.00e+00d [DetectDuplicateConstraintsWithDifferentEnforcements]
3.07e-04s 1.95e-05d [DetectDominatedLinearConstraints] #relevant_constraints=203 #num_inclusions=101 #num_redundant=1
3.38e-05s 0.00e+00d [DetectDifferentVariables]
2.22e-04s 4.00e-04d [ProcessSetPPC] #relevant_constraints=519 #num_inclusions=417
3.69e-04s 0.00e+00d [TransformClausesToExactlyOne] #num_amos=1'017
7.36e-04s 0.00e+00d [DetectEncodedComplexDomains]
3.97e-05s 0.00e+00d [FindAlmostIdenticalLinearConstraints]
2.66e-03s 9.71e-03d [FindBigAtMostOneAndLinearOverlap]
5.05e-04s 5.49e-03d [FindBigVerticalLinearOverlap]
3.85e-04s 1.54e-03d [FindBigHorizontalLinearOverlap] #linears=201
2.31e-05s 0.00e+00d [MergeClauses]
5.34e-04s 0.00e+00d [DetectDominanceRelations]
6.93e-03s 0.00e+00d [PresolveToFixPoint] #num_loops=2 #num_dual_strengthening=1
5.38e-04s 0.00e+00d [DetectDominanceRelations]
4.39e-03s 0.00e+00d [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
1.33e-04s 0.00e+00d [DetectDuplicateColumns]
2.34e-04s 0.00e+00d [DetectDuplicateConstraints]
[Symmetry] Graph for symmetry has 8'426 nodes and 14'905 arcs.
[Symmetry] Symmetry computation done. time: 0.000544006 dtime: 0.00153954
[SAT presolve] num removable Booleans: 0 / 1'220
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:93 literals:186 vars:186 one_side_vars:186 simple_definition:0 singleton_clauses:0
[SAT presolve] [2.1651e-05s] clauses:93 literals:186 vars:186 one_side_vars:186 simple_definition:0 singleton_clauses:0
[SAT presolve] [5.2689e-05s] clauses:93 literals:186 vars:186 one_side_vars:186 simple_definition:0 singleton_clauses:0
2.40e-04s 0.00e+00d [DetectDuplicateConstraintsWithDifferentEnforcements]
1.18e-02s 5.95e-03d [Probe] #probed=3'040
3.60e-04s 5.26e-04d [MaxClique]
5.39e-04s 0.00e+00d [DetectDominanceRelations]
4.35e-03s 0.00e+00d [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
9.52e-04s 0.00e+00d [ProcessAtMostOneAndLinear]
2.49e-04s 0.00e+00d [DetectDuplicateConstraints]
2.39e-04s 0.00e+00d [DetectDuplicateConstraintsWithDifferentEnforcements]
2.82e-04s 1.80e-05d [DetectDominatedLinearConstraints] #relevant_constraints=203 #num_inclusions=100
3.93e-05s 0.00e+00d [DetectDifferentVariables]
2.29e-04s 4.00e-04d [ProcessSetPPC] #relevant_constraints=519 #num_inclusions=417
2.03e-04s 0.00e+00d [TransformClausesToExactlyOne] #num_amos=417
7.97e-04s 0.00e+00d [DetectEncodedComplexDomains]
4.49e-05s 0.00e+00d [FindAlmostIdenticalLinearConstraints]
2.70e-03s 9.71e-03d [FindBigAtMostOneAndLinearOverlap]
8.62e-04s 5.48e-03d [FindBigVerticalLinearOverlap]
4.55e-04s 1.54e-03d [FindBigHorizontalLinearOverlap] #linears=201
2.68e-05s 0.00e+00d [MergeClauses]
5.59e-04s 0.00e+00d [DetectDominanceRelations]
4.99e-03s 0.00e+00d [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
1.09e-05s 0.00e+00d [MergeNoOverlap]
1.08e-05s 0.00e+00d [MergeNoOverlap2D]
3.93e-04s 0.00e+00d [ExpandObjective] #entries=14'058 #tight_variables=1'220 #tight_constraints=100
Presolve summary:
- 300 affine relations were detected.
- rule 'TODO linear inclusion: superset is equality' was applied 200 times.
- rule 'TODO linear2: convert ax + by != cte to clauses for large domains' was applied 6'720 times.
- rule 'affine: new relation' was applied 300 times.
- rule 'at_most_one: transformed into max clique' was applied 1 time.
- rule 'bool_and: x => x' was applied 600 times.
- rule 'bool_or: implications' was applied 760 times.
- rule 'deductions: 3040 stored' was applied 1 time.
- rule 'duplicate: removed constraint' was applied 300 times.
- rule 'linear + amo: extracted enforcement literal' was applied 920 times.
- rule 'linear inclusion: sparsify superset' was applied 1 time.
- rule 'linear1: transformed to implication' was applied 600 times.
- rule 'linear2: contains a boolean' was applied 1'520 times.
- rule 'linear2: convert ax + by != cte to clauses' was applied 760 times.
- rule 'linear: positive at most one' was applied 324 times.
- rule 'linear: positive equal one' was applied 100 times.
- rule 'linear: simplified rhs' was applied 300 times.
- rule 'new_bool: integer encoding' was applied 300 times.
- rule 'objective: shifted cost with exactly ones' was applied 100 times.
- rule 'presolve: 0 unused variables removed.' was applied 1 time.
- rule 'presolve: iteration' was applied 2 times.
- rule 'variables: add encoding constraint' was applied 300 times.
- rule 'variables: detect fully reified value encoding' was applied 920 times.
- rule 'variables: detect half reified value encoding' was applied 2'140 times.
Presolved optimization model 'optiwindnet': (model_fingerprint: 0xbb8542a32a7df017)
#Variables: 2'440 (#bools: 1'120 in objective) (2'239 primary variables)
- 1'220 Booleans in [0,1]
- 300 in [0][6,7]
- 920 in [0,6]
#kAtMostOne: 324 (#literals: 1'420)
#kBoolAnd: 93 (#enforced: 93) (#literals: 186)
#kExactlyOne: 100 (#literals: 1'220)
#kLinear1: 2'440 (#enforced: 2'440)
#kLinearN: 203 (#terms: 4'580)
[Symmetry] Graph for symmetry has 8'126 nodes and 14'905 arcs.
[Symmetry] Symmetry computation done. time: 0.000543149 dtime: 0.00151696
Preloading model.
#Bound 0.11s best:inf next:[115871.04,3301397.57] initial_domain
The solution hint is complete, but it is infeasible! we will try to repair it.
#Model 0.11s var:2440/2440 constraints:3160/3160
Starting search at 0.11s with 16 workers.
11 full problem subsolvers: [core, default_lp, lb_tree_search, max_lp, no_lp, objective_lb_search, probing, pseudo_costs, quick_restart, quick_restart_no_lp, reduced_costs]
5 first solution subsolvers: [fj(2), fs_random, fs_random_no_lp, fs_random_quick_restart_no_lp]
11 interleaved subsolvers: [feasibility_pump, graph_arc_lns, graph_cst_lns, graph_dec_lns, graph_var_lns, lb_relax_lns, ls, ls_lin, rins/rens, rnd_cst_lns, rnd_var_lns]
3 helper subsolvers: [neighborhood_helper, synchronization_agent, update_gap_integral]
#Bound 0.15s best:inf next:[119116.745,3301397.57] am1_presolve (num_literals=1120 num_am1=33 increase=6806735146 work_done=3885)
#Bound 0.18s best:inf next:[124581.315,3301397.57] default_lp
#Bound 0.18s best:inf next:[126580.195,3301397.57] reduced_costs
#1 0.20s best:364350.572 next:[126580.195,364350.572] fs_random_no_lp (fixed_bools=0/1220)
#2 0.22s best:253710.573 next:[126580.195,253710.573] no_lp (fixed_bools=0/1220)
#3 0.23s best:248329.789 next:[126580.195,248329.789] quick_restart_no_lp (fixed_bools=0/1220)
#Bound 0.23s best:248329.789 next:[126614.161,248329.789] objective_lb_search
#Bound 0.24s best:248329.789 next:[126776.322,248329.789] quick_restart
#4 0.25s best:247107.371 next:[126776.322,247107.371] rnd_cst_lns (d=5.00e-01 s=19 t=0.10 p=0.00 stall=0 h=base) [hint] (fixed_bools=0/1220)
#Bound 0.26s best:247107.371 next:[139054.342,247107.371] max_lp
#5 0.27s best:202579.548 next:[139054.342,202579.548] graph_cst_lns (d=5.00e-01 s=22 t=0.10 p=0.00 stall=0 h=base) (fixed_bools=0/1220)
#6 0.27s best:201357.131 next:[139054.342,201357.131] graph_cst_lns (d=5.00e-01 s=22 t=0.10 p=0.00 stall=0 h=base) [combined with: rnd_cst_lns (d=5.00e...] (fixed_bools=0/1220)
#7 0.31s best:201000.434 next:[139054.342,201000.434] quick_restart_no_lp (fixed_bools=0/1220)
#8 0.32s best:197363.515 next:[139054.342,197363.515] quick_restart_no_lp (fixed_bools=0/1220)
#9 0.36s best:197361.667 next:[139054.342,197361.667] quick_restart_no_lp (fixed_bools=0/1220)
#10 0.39s best:197003.795 next:[139054.342,197003.795] quick_restart_no_lp (fixed_bools=0/1220)
#Bound 0.40s best:197003.795 next:[139810.507,197003.795] max_lp
#11 0.43s best:197002.174 next:[139810.507,197002.174] quick_restart_no_lp (fixed_bools=0/1220)
#12 0.44s best:197000.753 next:[139810.507,197000.753] quick_restart_no_lp (fixed_bools=0/1220)
#Bound 0.45s best:197000.753 next:[139905.621,197000.753] max_lp
#13 0.46s best:196857.135 next:[139905.621,196857.135] quick_restart_no_lp (fixed_bools=0/1220)
#14 0.47s best:196607.961 next:[139905.621,196607.961] graph_var_lns (d=7.07e-01 s=30 t=0.10 p=1.00 stall=1 h=base) (fixed_bools=0/1220)
#15 0.48s best:196461.301 next:[139905.621,196461.301] graph_var_lns (d=7.07e-01 s=30 t=0.10 p=1.00 stall=1 h=base) [combined with: quick_restart_no_lp...] (fixed_bools=0/1220)
#16 0.58s best:196457.585 next:[139905.621,196457.585] quick_restart_no_lp (fixed_bools=0/1220)
#17 0.65s best:195329.341 next:[139905.621,195329.341] quick_restart_no_lp (fixed_bools=0/1220)
#18 0.67s best:194929.425 next:[139905.621,194929.425] quick_restart_no_lp (fixed_bools=0/1220)
#19 0.76s best:194110.551 next:[139905.621,194110.551] graph_dec_lns (d=7.07e-01 s=32 t=0.10 p=1.00 stall=1 h=base) (fixed_bools=0/1220)
#20 0.84s best:193165.92 next:[139905.621,193165.92] rnd_var_lns (d=7.07e-01 s=28 t=0.10 p=1.00 stall=0 h=base) [combined with: graph_dec_lns (d=7.0...] (fixed_bools=0/1220)
#21 0.87s best:192929.686 next:[139905.621,192929.686] rnd_cst_lns (d=7.07e-01 s=29 t=0.10 p=1.00 stall=0 h=base) (fixed_bools=0/1220)
#22 0.89s best:192630.313 next:[139905.621,192630.313] quick_restart_no_lp (fixed_bools=0/1220)
#23 0.90s best:192164.52 next:[139905.621,192164.52] quick_restart_no_lp (fixed_bools=0/1220)
#24 0.92s best:192144.463 next:[139905.621,192144.463] quick_restart_no_lp (fixed_bools=0/1220)
#25 1.02s best:185585.043 next:[139905.621,185585.043] quick_restart_no_lp (fixed_bools=0/1220)
#26 1.05s best:185226.391 next:[139905.621,185226.391] quick_restart_no_lp (fixed_bools=0/1220)
#27 1.24s best:183632.123 next:[139905.621,183632.123] quick_restart_no_lp (fixed_bools=0/1220)
#28 1.25s best:183445.03 next:[139905.621,183445.03] quick_restart_no_lp (fixed_bools=0/1220)
#29 1.32s best:183035.178 next:[139905.621,183035.178] quick_restart_no_lp (fixed_bools=0/1220)
#30 1.36s best:181947.971 next:[139905.621,181947.971] quick_restart_no_lp (fixed_bools=0/1220)
#31 1.38s best:181704.769 next:[139905.621,181704.769] graph_arc_lns (d=7.07e-01 s=36 t=0.10 p=1.00 stall=0 h=base) (fixed_bools=0/1220)
#32 1.39s best:180576.538 next:[139905.621,180576.538] ls_lin_restart_perturb(batch:1 lin{mvs:6 evals:1'202} #w_updates:5 #perturb:0) (fixed_bools=0/1220)
#33 1.42s best:180576.193 next:[139905.621,180576.193] quick_restart_no_lp (fixed_bools=0/1220)
#34 1.45s best:180574.24 next:[139905.621,180574.24] ls_lin_restart_decay_compound_perturb(batch:1 lin{mvs:0 evals:42'619} gen{mvs:1'396 evals:0} comp{mvs:96 btracks:650} #w_updates:10 #perturb:0) (fixed_bools=0/1220)
#35 1.47s best:180156.133 next:[139905.621,180156.133] quick_restart_no_lp (fixed_bools=0/1220)
#36 1.52s best:179778.904 next:[139905.621,179778.904] quick_restart_no_lp (fixed_bools=0/1220)
#37 1.55s best:179777.054 next:[139905.621,179777.054] quick_restart_no_lp (fixed_bools=0/1220)
#Bound 1.57s best:179777.054 next:[140185.272,179777.054] lb_tree_search
#38 1.59s best:178959.56 next:[140185.272,178959.56] ls_restart_decay_compound(batch:1 lin{mvs:0 evals:114'861} gen{mvs:2'628 evals:0} comp{mvs:124 btracks:1'252} #w_updates:24 #perturb:0) (fixed_bools=0/1220)
#39 1.60s best:178582.332 next:[140185.272,178582.332] ls_restart_decay_compound(batch:1 lin{mvs:0 evals:114'861} gen{mvs:2'628 evals:0} comp{mvs:124 btracks:1'252} #w_updates:24 #perturb:0) [combined with: quick_restart_no_lp...] (fixed_bools=0/1220)
#40 1.64s best:178436.624 next:[140185.272,178436.624] rnd_var_lns (d=5.38e-01 s=51 t=0.10 p=0.50 stall=0 h=base) [hint] (fixed_bools=0/1220)
#41 1.65s best:177809.871 next:[140185.272,177809.871] rnd_cst_lns (d=5.38e-01 s=52 t=0.10 p=0.50 stall=0 h=base) (fixed_bools=0/1220)
#42 1.65s best:177664.163 next:[140185.272,177664.163] rnd_cst_lns (d=5.38e-01 s=52 t=0.10 p=0.50 stall=0 h=base) [combined with: rnd_var_lns (d=5.38e...] (fixed_bools=0/1220)
#43 1.68s best:177664.155 next:[140185.272,177664.155] quick_restart_no_lp (fixed_bools=0/1220)
#44 1.71s best:177100.947 next:[140185.272,177100.947] quick_restart_no_lp (fixed_bools=0/1220)
#45 1.73s best:176634.91 next:[140185.272,176634.91] rnd_var_lns (d=6.92e-01 s=55 t=0.10 p=0.67 stall=0 h=base) [combined with: quick_restart_no_lp...] (fixed_bools=0/1220)
#Bound 1.87s best:176634.91 next:[140602.5,176634.91] lb_tree_search
#46 1.89s best:176614.853 next:[140602.5,176614.853] quick_restart_no_lp (fixed_bools=0/1220)
#47 1.92s best:176257.879 next:[140602.5,176257.879] quick_restart_no_lp (fixed_bools=0/1220)
#48 1.96s best:176257.877 next:[140602.5,176257.877] quick_restart_no_lp (fixed_bools=0/1220)
#Bound 1.96s best:176257.877 next:[140605.858,176257.877] lb_tree_search (nodes=1/1 rc=0 decisions=6 @root=2 restarts=0 lp_iters=[0, 0, 164, 6])
#49 2.04s best:175869.72 next:[140605.858,175869.72] quick_restart_no_lp (fixed_bools=0/1220)
#50 2.06s best:175452.357 next:[140605.858,175452.357] quick_restart_no_lp (fixed_bools=0/1220)
#51 2.11s best:175437.082 next:[140605.858,175437.082] quick_restart_no_lp (fixed_bools=0/1220)
#52 2.14s best:175079.125 next:[140605.858,175079.125] quick_restart_no_lp (fixed_bools=0/1220)
#53 2.16s best:172311.658 next:[140605.858,172311.658] rnd_cst_lns (d=6.92e-01 s=57 t=0.10 p=0.67 stall=0 h=base) (fixed_bools=0/1220)
#54 2.17s best:171513.604 next:[140605.858,171513.604] ls_restart(batch:1 lin{mvs:6 evals:970} #w_updates:4 #perturb:0) (fixed_bools=0/1220)
#55 2.26s best:171155.649 next:[140605.858,171155.649] quick_restart_no_lp (fixed_bools=0/1220)
#56 2.28s best:170777.619 next:[140605.858,170777.619] ls_lin_restart_decay_compound(batch:1 lin{mvs:0 evals:17'874} gen{mvs:344 evals:0} comp{mvs:48 btracks:148} #w_updates:8 #perturb:0) (fixed_bools=0/1220)
#57 2.33s best:170375.276 next:[140605.858,170375.276] quick_restart_no_lp (fixed_bools=0/1220)
#58 2.34s best:170355.219 next:[140605.858,170355.219] quick_restart_no_lp (fixed_bools=0/1220)
#59 2.35s best:170296.56 next:[140605.858,170296.56] quick_restart_no_lp (fixed_bools=0/1220)
#60 2.36s best:169943.418 next:[140605.858,169943.418] quick_restart_no_lp (fixed_bools=0/1220)
#61 2.40s best:169526.588 next:[140605.858,169526.588] quick_restart_no_lp (fixed_bools=0/1220)
#62 2.46s best:169134.63 next:[140605.858,169134.63] quick_restart_no_lp (fixed_bools=0/1222)
#Bound 2.47s best:169134.63 next:[140841.384,169134.63] lb_tree_search
#63 2.51s best:168715.042 next:[140841.384,168715.042] ls_restart(batch:1 lin{mvs:29 evals:1'999} #w_updates:24 #perturb:0) (fixed_bools=0/1220)
#Bound 2.57s best:168715.042 next:[140875.304,168715.042] lb_tree_search (nodes=2/2 rc=0 decisions=9 @root=4 restarts=0 lp_iters=[0, 0, 331, 122])
#64 2.58s best:168713.193 next:[140875.304,168713.193] quick_restart_no_lp (fixed_bools=0/1224)
#65 2.62s best:168523.966 next:[140875.304,168523.966] graph_arc_lns (d=5.38e-01 s=66 t=0.10 p=0.50 stall=0 h=base) (fixed_bools=0/1220)
#66 2.62s best:166459.54 next:[140875.304,166459.54] graph_arc_lns (d=5.38e-01 s=66 t=0.10 p=0.50 stall=0 h=base) [combined with: quick_restart_no_lp...] (fixed_bools=0/1220)
#67 2.64s best:165687.951 next:[140875.304,165687.951] quick_restart_no_lp (fixed_bools=0/1224)
#Bound 2.65s best:165687.951 next:[140897.633,165687.951] lb_tree_search (nodes=2/2 rc=0 decisions=10 @root=4 restarts=0 lp_iters=[0, 0, 507, 122])
#68 2.67s best:165257.474 next:[140897.633,165257.474] quick_restart_no_lp (fixed_bools=0/1224)
#69 2.70s best:165253.762 next:[140897.633,165253.762] quick_restart_no_lp (fixed_bools=0/1224)
#Bound 2.71s best:165253.762 next:[141034.335,165253.762] lb_tree_search (nodes=2/2 rc=0 decisions=11 @root=5 restarts=0 lp_iters=[0, 0, 729, 122])
#70 2.72s best:164900.066 next:[141034.335,164900.066] graph_cst_lns (d=5.19e-01 s=75 t=0.10 p=0.50 stall=1 h=base) (fixed_bools=0/1220)
#71 2.72s best:164896.354 next:[141034.335,164896.354] graph_cst_lns (d=5.19e-01 s=75 t=0.10 p=0.50 stall=1 h=base) [combined with: quick_restart_no_lp...] (fixed_bools=0/1220)
#Bound 2.75s best:164896.354 next:[141130.804,164896.354] lb_tree_search
#72 2.76s best:164084.834 next:[141130.804,164084.834] rnd_cst_lns (d=5.54e-01 s=78 t=0.10 p=0.50 stall=0 h=base) (fixed_bools=0/1220)
#73 2.94s best:163361.123 next:[141130.804,163361.123] quick_restart_no_lp (fixed_bools=0/1225)
#74 3.00s best:162650.001 next:[141130.804,162650.001] quick_restart_no_lp (fixed_bools=0/1225)
#75 3.05s best:162184.629 next:[141130.804,162184.629] quick_restart_no_lp (fixed_bools=0/1225)
#76 3.14s best:161286.801 next:[141130.804,161286.801] quick_restart_no_lp (fixed_bools=0/1226)
#77 3.18s best:161098.293 next:[141130.804,161098.293] graph_arc_lns (d=3.59e-01 s=87 t=0.10 p=0.33 stall=0 h=base) (fixed_bools=0/1220)
#78 3.20s best:158225.923 next:[141130.804,158225.923] graph_var_lns (d=7.29e-01 s=82 t=0.10 p=0.60 stall=0 h=base) [combined with: graph_arc_lns (d=3.5...] (fixed_bools=0/1220)
#79 3.27s best:158224.047 next:[141130.804,158224.047] quick_restart_no_lp (fixed_bools=0/1226)
#80 3.31s best:158037.83 next:[141130.804,158037.83] graph_arc_lns (d=5.19e-01 s=90 t=0.10 p=0.50 stall=0 h=base) [hint] (fixed_bools=0/1220)
#81 3.33s best:158035.954 next:[141130.804,158035.954] graph_arc_lns (d=5.19e-01 s=90 t=0.10 p=0.50 stall=0 h=base) [hint] [combined with: quick_restart_no_lp...] (fixed_bools=0/1220)
#Bound 3.55s best:158035.954 next:[141303.235,158035.954] lb_tree_search
#Bound 3.58s best:158035.954 next:[141307.715,158035.954] lb_tree_search
#82 3.62s best:151116.888 next:[141307.715,151116.888] max_lp (fixed_bools=0/1220)
#83 3.64s best:151115.038 next:[141307.715,151115.038] quick_restart_no_lp (fixed_bools=0/1231)
#84 3.72s best:150904.04 next:[141307.715,150904.04] graph_cst_lns (d=5.29e-01 s=103 t=0.10 p=0.50 stall=0 h=base) [hint] (fixed_bools=0/1220)
#85 3.78s best:150902.184 next:[141307.715,150902.184] quick_restart_no_lp (fixed_bools=0/1231)
#86 3.86s best:150544.098 next:[141307.715,150544.098] quick_restart_no_lp (fixed_bools=0/1232)
#87 3.98s best:149413.142 next:[141307.715,149413.142] graph_arc_lns (d=5.29e-01 s=113 t=0.10 p=0.50 stall=0 h=base) (fixed_bools=0/1220)
#88 4.02s best:148975.405 next:[141307.715,148975.405] quick_restart_no_lp (fixed_bools=0/1232)
#89 4.06s best:148973.549 next:[141307.715,148973.549] quick_restart_no_lp (fixed_bools=26/1232)
#Model 4.09s var:2388/2440 constraints:3107/3160
#90 4.09s best:148595.684 next:[141307.715,148595.684] quick_restart_no_lp (fixed_bools=26/1232)
#91 4.29s best:148595.014 next:[141307.715,148595.014] graph_dec_lns (d=7.19e-01 s=114 t=0.10 p=0.57 stall=3 h=base) [combined with: quick_restart_no_lp...] (fixed_bools=0/1220)
#92 4.32s best:148128.583 next:[141307.715,148128.583] graph_cst_lns (d=7.39e-01 s=112 t=0.10 p=0.62 stall=1 h=base) [combined with: graph_dec_lns (d=7.1...] (fixed_bools=0/1220)
#93 4.36s best:148119.358 next:[141307.715,148119.358] quick_restart_no_lp (fixed_bools=26/1242)
#Bound 4.56s best:148119.358 next:[141514.512,148119.358] lb_tree_search
#Model 4.61s var:2316/2440 constraints:3035/3160
#94 4.69s best:148119.357 next:[141514.512,148119.357] rnd_cst_lns (d=7.58e-01 s=120 t=0.10 p=0.62 stall=0 h=base) [combined with: quick_restart_no_lp...] (fixed_bools=0/1220)
#Model 4.72s var:2296/2440 constraints:3015/3160
#95 4.78s best:147549.419 next:[141514.512,147549.419] graph_arc_lns (d=5.36e-01 s=136 t=0.10 p=0.50 stall=1 h=base) (fixed_bools=0/1220)
#Model 4.82s var:2240/2440 constraints:2959/3160
#Bound 5.48s best:147549.419 next:[141594.634,147549.419] lb_tree_search
#Model 5.48s var:2214/2440 constraints:2931/3160
#96 5.58s best:146593.558 next:[141594.634,146593.558] rnd_cst_lns (d=7.56e-01 s=150 t=0.10 p=0.60 stall=1 h=base) (fixed_bools=0/1220)
#Model 5.60s var:2188/2440 constraints:2904/3160
#97 5.68s best:146235.852 next:[141594.634,146235.852] quick_restart_no_lp (fixed_bools=126/1258)
#Bound 6.48s best:146235.852 next:[141830.84,146235.852] lb_tree_search
#Model 6.49s var:2166/2440 constraints:2882/3160
#Model 6.68s var:2118/2440 constraints:2834/3160
#98 7.19s best:144498.075 next:[141830.84,144498.075] rins_lp_lns (d=5.60e-01 s=185 t=0.10 p=0.50 stall=0 h=base) (fixed_bools=0/1220)
#Bound 7.48s best:144498.075 next:[141960.932,144498.075] lb_tree_search
#Model 7.51s var:2082/2440 constraints:2798/3160
#Bound 8.34s best:144498.075 next:[142026.549,144498.075] lb_tree_search
#Model 8.34s var:1850/2440 constraints:2548/3160
#Bound 9.36s best:144498.075 next:[142089.595,144498.075] lb_tree_search
#Model 9.41s var:1844/2440 constraints:2541/3160
#99 10.35s best:143698.734 next:[142089.595,143698.734] lb_relax_lns_int (d=2.79e-01 s=266 t=0.50 p=0.33 stall=1 h=base) (fixed_bools=0/1220)
#Bound 10.45s best:143698.734 next:[142158.291,143698.734] lb_tree_search
#Model 10.45s var:1826/2440 constraints:2523/3160
#Model 10.93s var:1822/2440 constraints:2519/3160
#Bound 11.49s best:143698.734 next:[142203.543,143698.734] lb_tree_search
#Model 11.53s var:1534/2440 constraints:2204/3160
#100 11.60s best:143698.733 next:[142203.543,143698.733] quick_restart_no_lp (fixed_bools=462/1331)
#Bound 12.44s best:143698.733 next:[142259.384,143698.733] lb_tree_search
#Model 12.45s var:1498/2440 constraints:2164/3160
#Model 12.68s var:1494/2440 constraints:2160/3160
#Model 12.82s var:1480/2440 constraints:2139/3160
#Bound 13.43s best:143698.733 next:[142344.168,143698.733] lb_tree_search
#Model 13.44s var:1458/2440 constraints:2112/3160
#Model 13.81s var:1450/2440 constraints:2102/3160
#Bound 14.34s best:143698.733 next:[142369.553,143698.733] lb_tree_search
#Model 14.35s var:1442/2440 constraints:2093/3160
#Bound 15.20s best:143698.733 next:[142386.256,143698.733] lb_tree_search
#Model 15.23s var:1436/2440 constraints:2087/3160
#Bound 15.76s best:143698.733 next:[142501.77,143698.733] objective_lb_search
#Model 16.17s var:1420/2440 constraints:2069/3160
#Model 16.60s var:1418/2440 constraints:2067/3160
#Model 17.30s var:1414/2440 constraints:2062/3160
#Bound 17.58s best:143698.733 next:[142584.655,143698.733] lb_tree_search
#Model 17.59s var:1352/2440 constraints:1994/3160
#Model 17.76s var:1348/2440 constraints:1989/3160
#Bound 18.65s best:143698.733 next:[142619.613,143698.733] lb_tree_search
#Model 18.74s var:1330/2440 constraints:1965/3160
#Bound 19.76s best:143698.733 next:[142633.009,143698.733] lb_tree_search
#Model 19.77s var:1322/2440 constraints:1955/3160
#Model 20.40s var:1318/2440 constraints:1950/3160
#Model 20.56s var:1316/2440 constraints:1946/3160
#Bound 20.79s best:143698.733 next:[142643.581,143698.733] lb_tree_search
#Model 20.84s var:1305/2440 constraints:1929/3160
#Model 21.45s var:1303/2440 constraints:1924/3160
#Bound 21.90s best:143698.733 next:[142653.961,143698.733] lb_tree_search
#Model 21.94s var:1301/2440 constraints:1922/3160
#Bound 23.06s best:143698.733 next:[142680.493,143698.733] lb_tree_search
#Model 23.08s var:1279/2440 constraints:1892/3160
#Model 23.21s var:1277/2440 constraints:1890/3160
#Bound 24.06s best:143698.733 next:[142697.098,143698.733] lb_tree_search
#Model 24.13s var:1267/2440 constraints:1878/3160
#Model 24.69s var:1263/2440 constraints:1872/3160
#Bound 25.22s best:143698.733 next:[142704.357,143698.733] lb_tree_search
#Bound 26.33s best:143698.733 next:[142707.187,143698.733] lb_tree_search
#Bound 27.42s best:143698.733 next:[142711.887,143698.733] lb_tree_search
#Model 27.48s var:1261/2440 constraints:1870/3160
#Model 27.94s var:1259/2440 constraints:1866/3160
#Bound 28.46s best:143698.733 next:[142713.608,143698.733] lb_tree_search
#Model 28.49s var:1253/2440 constraints:1860/3160
#Bound 29.60s best:143698.733 next:[142737.5,143698.733] lb_tree_search
#Model 29.69s var:1239/2440 constraints:1843/3160
#Bound 30.72s best:143698.733 next:[142755.234,143698.733] lb_tree_search
#Model 30.78s var:1229/2440 constraints:1830/3160
#Bound 31.89s best:143698.733 next:[142771.756,143698.733] lb_tree_search
#Model 31.90s var:1215/2440 constraints:1812/3160
#Bound 33.14s best:143698.733 next:[142785.711,143698.733] lb_tree_search
#Model 33.16s var:1213/2440 constraints:1810/3160
#Bound 34.46s best:143698.733 next:[142795.67,143698.733] lb_tree_search
#Model 34.47s var:1207/2440 constraints:1802/3160
#Bound 34.88s best:143698.733 next:[142821.955,143698.733] objective_lb_search
#Model 35.75s var:1205/2440 constraints:1799/3160
#Model 35.87s var:1203/2440 constraints:1796/3160
#Model 36.55s var:1201/2440 constraints:1794/3160
Task timing n [ min, max] avg dev time n [ min, max] avg dev dtime
'core': 1 [ 39.93s, 39.93s] 39.93s 0.00ns 39.93s 2 [ 6.04ms, 35.70s] 17.85s 17.85s 35.70s
'default_lp': 1 [ 39.88s, 39.88s] 39.88s 0.00ns 39.88s 2 [409.62ms, 16.01s] 8.21s 7.80s 16.42s
'feasibility_pump': 187 [ 93.58us, 232.16ms] 6.55ms 17.76ms 1.22s 183 [575.05us, 171.50ms] 1.93ms 13.56ms 353.11ms
'fj': 1 [128.58ms, 128.58ms] 128.58ms 0.00ns 128.58ms 1 [100.05ms, 100.05ms] 100.05ms 0.00ns 100.05ms
'fj': 1 [144.23ms, 144.23ms] 144.23ms 0.00ns 144.23ms 1 [100.07ms, 100.07ms] 100.07ms 0.00ns 100.07ms
'fs_random': 1 [ 92.87ms, 92.87ms] 92.87ms 0.00ns 92.87ms 1 [ 23.25ms, 23.25ms] 23.25ms 0.00ns 23.25ms
'fs_random_no_lp': 1 [ 95.31ms, 95.31ms] 95.31ms 0.00ns 95.31ms 2 [ 6.45ms, 10.30ms] 8.38ms 1.93ms 16.75ms
'fs_random_quick_restart_no_lp': 1 [ 87.74ms, 87.74ms] 87.74ms 0.00ns 87.74ms 1 [ 17.27ms, 17.27ms] 17.27ms 0.00ns 17.27ms
'graph_arc_lns': 73 [ 1.02ms, 583.48ms] 257.26ms 160.91ms 18.78s 69 [333.40us, 100.21ms] 63.46ms 41.09ms 4.38s
'graph_cst_lns': 77 [ 1.02us, 502.43ms] 243.16ms 192.38ms 18.72s 66 [370.00ns, 100.21ms] 59.76ms 44.46ms 3.94s
'graph_dec_lns': 70 [ 2.03ms, 634.40ms] 275.12ms 182.29ms 19.26s 67 [ 10.00ns, 100.18ms] 62.29ms 43.76ms 4.17s
'graph_var_lns': 84 [866.09us, 676.63ms] 234.65ms 206.70ms 19.71s 69 [ 10.00ns, 100.23ms] 58.89ms 45.42ms 4.06s
'lb_relax_lns': 21 [231.39ms, 2.43s] 1.15s 859.87ms 24.20s 21 [ 46.19ms, 636.47ms] 308.73ms 246.81ms 6.48s
'lb_tree_search': 1 [ 39.90s, 39.90s] 39.90s 0.00ns 39.90s 2 [444.40ms, 9.39s] 4.92s 4.47s 9.83s
'ls': 123 [ 5.09ms, 231.40ms] 151.00ms 32.51ms 18.57s 123 [249.00us, 100.15ms] 97.03ms 15.72ms 11.93s
'ls_lin': 126 [ 7.98ms, 229.85ms] 147.69ms 29.09ms 18.61s 126 [265.81us, 100.15ms] 96.94ms 15.19ms 12.21s
'max_lp': 1 [ 39.88s, 39.88s] 39.88s 0.00ns 39.88s 2 [425.83ms, 13.79s] 7.11s 6.68s 14.22s
'no_lp': 1 [ 39.90s, 39.90s] 39.90s 0.00ns 39.90s 2 [ 6.45ms, 12.72s] 6.36s 6.36s 12.73s
'objective_lb_search': 1 [ 39.90s, 39.90s] 39.90s 0.00ns 39.90s 2 [404.97ms, 17.06s] 8.73s 8.33s 17.46s
'probing': 1 [ 39.90s, 39.90s] 39.90s 0.00ns 39.90s 2 [346.52ms, 11.55s] 5.95s 5.60s 11.89s
'pseudo_costs': 1 [ 39.88s, 39.88s] 39.88s 0.00ns 39.88s 2 [ 87.37ms, 11.64s] 5.87s 5.78s 11.73s
'quick_restart': 1 [ 39.90s, 39.90s] 39.90s 0.00ns 39.90s 2 [402.28ms, 15.38s] 7.89s 7.49s 15.78s
'quick_restart_no_lp': 1 [ 39.88s, 39.88s] 39.88s 0.00ns 39.88s 2 [ 6.45ms, 18.97s] 9.49s 9.48s 18.98s
'reduced_costs': 1 [ 39.88s, 39.88s] 39.88s 0.00ns 39.88s 2 [ 81.90ms, 8.96s] 4.52s 4.44s 9.04s
'rins/rens': 90 [408.45us, 589.01ms] 219.08ms 206.13ms 19.72s 65 [ 4.03us, 100.13ms] 65.32ms 44.30ms 4.25s
'rnd_cst_lns': 77 [ 12.21ms, 569.48ms] 249.59ms 183.62ms 19.22s 76 [ 44.00ns, 100.29ms] 54.74ms 46.32ms 4.16s
'rnd_var_lns': 72 [ 1.26ms, 533.09ms] 270.64ms 179.98ms 19.49s 69 [ 10.00ns, 100.30ms] 60.70ms 43.90ms 4.19s
Search stats Bools Conflicts Branches Restarts BacktrackToRoot Backtrack BoolPropag IntegerPropag
'core': 1'253 432'294 1'452'731 57 107'561 566'735 14'414'837 26'734'255
'default_lp': 1'220 2'765 23'794 2 8'892 12'352 343'330 1'506'052
'fs_random': 1'220 0 2'449 0 2'440 2'440 18'583 63'417
'fs_random_no_lp': 1'220 100 8'767 1 4'901 5'187 43'575 161'827
'fs_random_quick_restart_no_lp': 1'220 72 10'351 6 4'902 5'160 45'724 170'915
'lb_tree_search': 1'220 60 156'905 0 61'815 77'374 527'174 1'643'600
'max_lp': 1'220 3'054 61'330 4 25'285 33'115 506'975 2'687'447
'no_lp': 1'220 240'201 300'942 8 11'994 251'307 27'894'875 82'277'257
'objective_lb_search': 1'235 439 68'981 2 28'359 33'899 271'238 1'925'683
'probing': 1'241 10 3'091 0 2'525 2'535 20'117 70'245
'pseudo_costs': 1'220 4'354 42'162 7 15'068 21'831 528'420 2'570'212
'quick_restart': 1'220 287 79'594 16 29'266 36'265 283'335 2'178'221
'quick_restart_no_lp': 1'376 94'266 2'032'489 8'532 70'258 178'343 10'234'422 49'383'757
'reduced_costs': 1'241 7'467 70'150 7 16'519 26'405 679'908 3'264'220
SAT formula Fixed Equiv Total VarLeft BinaryClauses PermanentClauses TemporaryClauses
'core': 620 1 1'253 632 856 1'520 12'233
'default_lp': 295 0 1'220 925 466 111 2'284
'fs_random': 0 0 1'220 1'220 186 100 0
'fs_random_no_lp': 0 0 1'220 1'220 186 102 97
'fs_random_quick_restart_no_lp': 0 0 1'220 1'220 186 101 66
'lb_tree_search': 619 1 1'220 600 840 388 10
'max_lp': 589 0 1'220 631 902 313 2'004
'no_lp': 179 0 1'220 1'041 256 2'093 13'999
'objective_lb_search': 632 1 1'235 602 852 477 85
'probing': 0 0 1'241 1'241 650 100 10
'pseudo_costs': 546 0 1'220 674 960 206 3'111
'quick_restart': 620 1 1'220 599 848 592 106
'quick_restart_no_lp': 637 1 1'376 738 1'722 1'968 8'117
'reduced_costs': 503 0 1'241 738 1'100 159 6'536
SAT stats ClassicMinim LitRemoved LitRemovedBinary LitLearned LitForgotten Subsumed
'core': 386'636 6'645'113 1'368'160 40'991'647 22'810'185 110'563
'default_lp': 2'486 38'227 107'988 441'846 0 461
'fs_random': 0 0 0 0 0 0
'fs_random_no_lp': 34 550 488 6'523 0 1
'fs_random_quick_restart_no_lp': 36 257 392 5'539 0 5
'lb_tree_search': 9 15 166 1'009 0 32
'max_lp': 2'716 51'413 52'630 234'739 0 987
'no_lp': 230'831 3'014'660 88'347 35'037'700 4'947'895 170'396
'objective_lb_search': 318 26'019 3'439 9'881 0 178
'probing': 3 14 60 1'602 0 0
'pseudo_costs': 4'083 105'301 101'854 512'734 0 1'011
'quick_restart': 177 7'513 4'781 19'138 0 96
'quick_restart_no_lp': 76'043 866'816 1'448'384 7'713'255 4'672'640 12'881
'reduced_costs': 6'978 68'203 191'546 1'645'355 0 910
Vivification Clauses Decisions LitTrue Subsumed LitRemoved DecisionReused Conflicts
'core': 64'011 564'029 0 1'831 21'113 26'065 88
'default_lp': 616 6'035 0 1 6 1 0
'fs_random': 0 0 0 0 0 0 0
'fs_random_no_lp': 204 2'258 0 0 0 0 0
'fs_random_quick_restart_no_lp': 201 2'246 0 0 0 0 0
'lb_tree_search': 15'497 94'384 0 262 1'582 1'155 1
'max_lp': 3'959 27'380 0 157 951 269 0
'no_lp': 1'021 9'486 0 14 166 243 0
'objective_lb_search': 6'193 40'316 3 274 1'749 690 2
'probing': 0 0 0 0 0 0 0
'pseudo_costs': 1'925 14'337 0 51 303 43 1
'quick_restart': 8'213 49'041 0 276 1'777 984 2
'quick_restart_no_lp': 34'535 220'629 1 1'497 12'355 9'507 141
'reduced_costs': 1'724 14'560 0 16 89 8 0
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': 9'088 20'502 1 107'119 5'188 22 3'444 1'831 5 4'523 0 0 267'195 1'271'353 432'294
'default_lp': 9 0 0 434 4 0 27 1 0 0 0 0 0 6'611 2'765
'fs_random': 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
'fs_random_no_lp': 0 0 0 1 0 0 0 0 0 0 0 0 0 132 100
'fs_random_quick_restart_no_lp': 0 0 0 5 0 0 0 0 0 0 0 0 0 89 72
'lb_tree_search': 54 3 2 32 1 1 0 262 4 6 0 0 0 83 60
'max_lp': 43 6 1 932 9 0 55 157 19 0 0 0 0 6'611 3'054
'no_lp': 4'494 0 0 169'444 701 1'108 952 14 0 1 0 0 47'502 513'486 240'201
'objective_lb_search': 158 4 1 161 0 22 17 274 17 1 0 0 0 634 439
'probing': 0 0 0 0 0 0 0 0 0 0 0 0 0 12 10
'pseudo_costs': 109 97 0 966 1 0 45 51 1 22 0 0 0 13'277 4'354
'quick_restart': 85 12 3 92 0 3 4 276 15 19 0 0 0 362 287
'quick_restart_no_lp': 15'239 570 30 11'677 334 28 1'204 1'497 218 707 0 0 53'203 240'781 94'266
'reduced_costs': 5 0 0 846 9 0 64 16 2 2 0 0 0 27'426 7'467
Lp stats Component Iterations AddedCuts OPTIMAL DUAL_F. DUAL_U.
'default_lp': 1 247'621 2'867 7'958 1 184
'fs_random': 1 839 74 9 1 0
'lb_tree_search': 1 24'290 3'580 327 21 4
'max_lp': 1 141'453 2'720 1'991 8'625 62
'objective_lb_search': 1 90'846 4'385 1'412 4 38
'probing': 1 40'715 4'155 347 20 4
'pseudo_costs': 1 195'231 3'031 5'186 10'356 255
'quick_restart': 1 90'417 3'943 1'576 6 20
'reduced_costs': 1 213'964 2'169 9'909 10'833 400
Lp dimension Final dimension of first component
'default_lp': 981 rows, 2440 columns, 10875 entries
'fs_random': 366 rows, 2440 columns, 4637 entries
'lb_tree_search': 2876 rows, 2440 columns, 77811 entries
'max_lp': 1357 rows, 2440 columns, 13347 entries
'objective_lb_search': 1651 rows, 2440 columns, 31763 entries
'probing': 3126 rows, 2440 columns, 101308 entries
'pseudo_costs': 1180 rows, 2440 columns, 9217 entries
'quick_restart': 1543 rows, 2440 columns, 29645 entries
'reduced_costs': 632 rows, 2440 columns, 4397 entries
Lp debug CutPropag CutEqPropag Adjust Overflow Bad BadScaling
'default_lp': 0 0 8'111 0 4'222 0
'fs_random': 0 0 6 0 0 0
'lb_tree_search': 0 0 352 0 175'315 0
'max_lp': 0 0 10'675 0 28'193 0
'objective_lb_search': 0 5 1'448 0 70'062 0
'probing': 0 0 367 0 98'853 0
'pseudo_costs': 0 1 15'770 0 5'431 0
'quick_restart': 0 6 1'600 0 74'787 0
'reduced_costs': 0 0 21'084 0 495 0
Lp pool Constraints Updates Simplif Merged Shortened Split Strengthened Cuts/Call
'default_lp': 7'154 41 3'644 0 2'926 0 12 2'867/7'778
'fs_random': 4'361 0 0 0 0 0 0 74/150
'lb_tree_search': 7'960 2'853 73'139 0 27'264 1'146 148 3'580/6'486
'max_lp': 7'100 550 24'690 0 11'575 83 107 2'720/4'904
'objective_lb_search': 8'672 718 36'300 0 18'197 99 198 4'385/8'397
'probing': 8'442 724 0 0 0 456 226 4'155/7'931
'pseudo_costs': 7'411 37 11'017 0 5'279 7 126 3'031/7'429
'quick_restart': 8'230 777 50'708 0 18'096 180 189 3'943/7'865
'reduced_costs': 6'549 5 6'027 0 3'214 1 43 2'169/7'987
Lp Cut fs_random default_lp max_lp reduced_costs pseudo_costs quick_restart lb_tree_search probing objective_lb_search
CG_FF: - 37 17 22 19 25 13 27 33
CG_K: - 21 11 16 13 19 7 28 19
CG_KL: - 20 4 6 6 13 - 12 12
CG_R: - 36 29 28 30 35 20 48 38
CG_RB: - 39 47 24 53 50 43 75 72
CG_RBP: - 17 17 19 11 19 19 40 32
IB: 74 1'857 755 1'932 2'053 1'394 15 1'101 1'204
MIR_1_FF: - 36 144 4 42 209 282 247 329
MIR_1_K: - 32 31 3 10 61 39 66 45
MIR_1_KL: - 23 31 - 6 44 47 69 50
MIR_1_R: - - 1 1 4 5 6 9 27
MIR_1_RB: - 23 42 1 27 44 39 63 52
MIR_1_RBP: - 8 50 3 13 61 102 68 110
MIR_2_FF: - 62 149 7 58 200 275 230 231
MIR_2_K: - 35 31 2 16 47 59 67 54
MIR_2_KL: - 19 29 1 8 45 36 61 39
MIR_2_R: - - 4 - - 4 15 8 15
MIR_2_RB: - 59 95 9 49 91 109 126 126
MIR_2_RBP: - 22 38 - 24 54 83 77 89
MIR_3_FF: - 44 115 9 66 140 214 200 166
MIR_3_K: - 18 37 5 24 43 84 66 43
MIR_3_KL: - 14 17 1 16 23 36 42 22
MIR_3_R: - 10 10 2 6 10 19 18 27
MIR_3_RB: - 50 61 8 51 62 102 105 82
MIR_3_RBP: - 10 22 3 8 42 75 47 48
MIR_4_FF: - 26 90 6 34 84 169 108 130
MIR_4_K: - 14 26 7 16 43 66 59 44
MIR_4_KL: - 9 18 1 4 14 27 26 19
MIR_4_R: - 1 5 1 3 8 8 12 19
MIR_4_RB: - 36 59 9 53 61 70 62 73
MIR_4_RBP: - 9 28 1 11 37 58 36 53
MIR_5_FF: - 9 62 1 22 50 112 90 71
MIR_5_K: - 10 31 3 15 56 77 42 53
MIR_5_KL: - 8 27 1 15 27 38 39 28
MIR_5_R: - 4 6 - 5 5 13 9 14
MIR_5_RB: - 30 30 7 33 25 44 41 33
MIR_5_RBP: - 17 39 1 12 46 77 35 53
MIR_6_FF: - 12 41 - 11 37 66 56 48
MIR_6_K: - 13 36 - 17 39 75 58 50
MIR_6_KL: - 10 33 - 18 23 37 51 39
MIR_6_R: - 1 4 - 1 2 5 14 6
MIR_6_RB: - 20 34 1 20 24 36 37 32
MIR_6_RBP: - 12 54 - 9 33 105 51 75
ZERO_HALF_FF: - 17 30 1 13 35 11 28 19
ZERO_HALF_K: - 4 14 - 2 20 1 7 9
ZERO_HALF_KL: - 7 14 - 3 17 4 8 9
ZERO_HALF_R: - 88 224 12 85 423 594 318 477
ZERO_HALF_RB: - 15 20 7 10 49 89 34 39
ZERO_HALF_RBP: - 3 8 4 6 45 59 34 27
LNS stats Improv/Calls Closed Difficulty TimeLimit
'graph_arc_lns': 14/70 49% 5.56e-01 0.10
'graph_cst_lns': 18/69 52% 8.07e-01 0.10
'graph_dec_lns': 11/69 49% 7.46e-01 0.10
'graph_var_lns': 9/69 51% 7.90e-01 0.10
'lb_relax_lns': 8/21 52% 6.16e-01 0.50
'rins/rens': 68/78 50% 5.53e-01 0.10
'rnd_cst_lns': 14/76 53% 8.13e-01 0.10
'rnd_var_lns': 11/71 51% 7.70e-01 0.10
LS stats Batches Restarts/Perturbs LinMoves GenMoves CompoundMoves Bactracks WeightUpdates ScoreComputed
'fj_restart': 1 1 6'887 0 0 0 1'510 194'678
'fj_restart_decay_compound_perturb_obj': 1 1 0 6'311 765 2'773 10 354'644
'ls_lin_restart': 9 8 81'823 0 0 0 10'203 2'420'746
'ls_lin_restart_compound': 20 16 0 158'384 13'962 72'177 1'037 4'838'561
'ls_lin_restart_compound_perturb': 22 12 0 165'857 13'993 75'896 1'049 4'549'471
'ls_lin_restart_decay': 6 6 59'044 0 0 0 1'132 1'111'839
'ls_lin_restart_decay_compound': 17 12 0 117'366 25'312 45'997 270 3'527'417
'ls_lin_restart_decay_compound_perturb': 10 10 0 54'248 8'413 22'908 212 1'755'739
'ls_lin_restart_decay_perturb': 23 10 228'297 0 0 0 4'271 4'079'712
'ls_lin_restart_perturb': 19 14 160'784 0 0 0 17'927 5'108'426
'ls_restart': 12 12 76'913 0 0 0 11'791 2'428'020
'ls_restart_compound': 18 12 0 121'349 8'511 56'388 915 3'641'137
'ls_restart_compound_perturb': 15 7 0 117'745 9'180 54'259 680 3'385'022
'ls_restart_decay': 13 12 127'831 0 0 0 2'400 2'490'524
'ls_restart_decay_compound': 14 12 0 98'877 21'062 38'881 260 3'047'537
'ls_restart_decay_compound_perturb': 14 9 0 99'053 19'888 39'558 269 2'842'547
'ls_restart_decay_perturb': 16 6 163'140 0 0 0 3'052 2'831'026
'ls_restart_perturb': 21 15 188'132 0 0 0 28'059 5'706'136
Solutions (100) Num Rank
'fs_random_no_lp': 2 [0,1]
'graph_arc_lns': 16 [30,95]
'graph_cst_lns': 12 [4,92]
'graph_dec_lns': 4 [18,91]
'graph_var_lns': 6 [13,78]
'lb_relax_lns_int': 2 [98,99]
'ls_lin_restart_decay_compound': 2 [55,56]
'ls_lin_restart_decay_compound_perturb': 2 [33,34]
'ls_lin_restart_perturb': 2 [31,32]
'ls_restart': 4 [53,63]
'ls_restart_decay_compound': 4 [37,39]
'max_lp': 2 [81,82]
'no_lp': 2 [1,2]
'quick_restart_no_lp': 116 [2,100]
'rins_lp_lns': 2 [97,98]
'rnd_cst_lns': 16 [3,96]
'rnd_var_lns': 6 [19,45]
Objective bounds Num
'am1_presolve': 1
'default_lp': 1
'initial_domain': 1
'lb_tree_search': 38
'max_lp': 3
'objective_lb_search': 3
'quick_restart': 1
'reduced_costs': 1
Solution repositories Added Queried Synchro
'alternative_path': 21 229 21
'best_solutions': 256 574 197
'fj solution hints': 0 0 0
'lp solutions': 586 90 414
'pump': 0 0
Improving bounds shared Num Sym
'lb_tree_search': 926 0
'max_lp': 185 0
'objective_lb_search': 99 0
'quick_restart': 71 0
'quick_restart_no_lp': 17 0
'reduced_costs': 1 0
Clauses shared #Exported #Imported #BinaryRead #BinaryTotal
'core': 1'262 469 91 91
'default_lp': 3 9 4 91
'fs_random': 0 0 0 91
'fs_random_no_lp': 0 0 0 91
'fs_random_quick_restart_no_lp': 0 0 0 91
'lb_tree_search': 7 917 87 91
'max_lp': 26 686 58 91
'no_lp': 489 9 3 91
'objective_lb_search': 30 1'044 91 91
'probing': 0 0 0 91
'pseudo_costs': 11 362 42 91
'quick_restart': 68 1'160 91 91
'quick_restart_no_lp': 341 970 91 91
'reduced_costs': 0 217 31 91
LRAT_status: NA
[Scaling] scaled_objective_bound: 142822 corrected_bound: 142822 delta: -2.858e-07
CpSolverResponse summary:
status: FEASIBLE
objective: 143698.7327195847
best_bound: 142821.9550143266
integers: 2492
booleans: 1220
conflicts: 0
branches: 2449
propagations: 18583
integer_propagations: 63417
restarts: 0
lp_iterations: 839
walltime: 40.0513
usertime: 40.0513
deterministic_time: 234.244
gap_integral: 1639.84
solution_fingerprint: 0xe56e0943d5f73c62
[13]:
SolutionInfo(runtime=40.060348, bound=142821.95501432658, objective=143698.7327195847, relgap=0.0061014992175961735, termination='FEASIBLE')
[14]:
S, G = solver.get_solution()
[15]:
svgplot(G)
[15]:
