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