{
 "cells": [
  {
   "cell_type": "markdown",
   "id": "5f6be665-2ab0-404e-b4f1-68e882887775",
   "metadata": {},
   "source": [
    "## SCIP 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\n",
    "from optiwindnet.heuristics import EW_presolver\n",
    "from optiwindnet.MILP import solver_factory, ModelOptions"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "dd5d2195-9b34-4aed-bd09-8f52116d098a",
   "metadata": {},
   "source": [
    "### Initialize Sheringham Shoal"
   ]
  },
  {
   "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": "6493ef36-765a-4cd3-9dc8-f2d952a23573",
   "metadata": {},
   "outputs": [],
   "source": [
    "L = locations.sheringham\n",
    "capacity = 6"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "id": "2a81cdd4-7be8-4da3-9b94-9799c6f1760b",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": [
       "<svg xmlns=\"http://www.w3.org/2000/svg\" viewBox=\"0 0 1920 787\"><defs><circle stroke=\"none\" stroke-width=\"2\" id=\"wtg\" r=\"12\"/><rect stroke=\"#111\" stroke-width=\"2\" id=\"oss\" width=\"21\" height=\"21\" fill=\"lawngreen\"/></defs><g id=\"sheringham\"><path stroke=\"silver\" stroke-dasharray=\"15 7\" stroke-width=\"2\" id=\"border\" d=\"M709 757 30 31 1209 30 1890 757z\" fill-rule=\"evenodd\" fill=\"#111\"/><g id=\"WTGgrp\"><g fill=\"#9edae5\"><use href=\"#wtg\" x=\"66\" y=\"47\"/><use href=\"#wtg\" x=\"159\" y=\"146\"/><use href=\"#wtg\" x=\"252\" y=\"245\"/><use href=\"#wtg\" x=\"345\" y=\"344\"/><use href=\"#wtg\" x=\"438\" y=\"444\"/><use href=\"#wtg\" x=\"530\" y=\"543\"/><use href=\"#wtg\" x=\"623\" y=\"642\"/><use href=\"#wtg\" x=\"716\" y=\"741\"/><use href=\"#wtg\" x=\"180\" y=\"47\"/><use href=\"#wtg\" x=\"273\" y=\"146\"/><use href=\"#wtg\" x=\"365\" y=\"245\"/><use href=\"#wtg\" x=\"458\" y=\"344\"/><use href=\"#wtg\" x=\"551\" y=\"444\"/><use href=\"#wtg\" x=\"644\" y=\"543\"/><use href=\"#wtg\" x=\"737\" y=\"642\"/><use href=\"#wtg\" x=\"830\" y=\"741\"/><use href=\"#wtg\" x=\"293\" y=\"47\"/><use href=\"#wtg\" x=\"386\" y=\"146\"/><use href=\"#wtg\" x=\"479\" y=\"245\"/><use href=\"#wtg\" x=\"572\" y=\"344\"/><use href=\"#wtg\" x=\"665\" y=\"444\"/><use href=\"#wtg\" x=\"758\" y=\"543\"/><use href=\"#wtg\" x=\"850\" y=\"642\"/><use href=\"#wtg\" x=\"943\" y=\"741\"/><use href=\"#wtg\" x=\"407\" y=\"47\"/><use href=\"#wtg\" x=\"500\" y=\"146\"/><use href=\"#wtg\" x=\"593\" y=\"245\"/><use href=\"#wtg\" x=\"685\" y=\"344\"/><use href=\"#wtg\" x=\"778\" y=\"443\"/><use href=\"#wtg\" x=\"871\" y=\"543\"/><use href=\"#wtg\" x=\"964\" y=\"642\"/><use href=\"#wtg\" x=\"1057\" y=\"741\"/><use href=\"#wtg\" x=\"520\" y=\"47\"/><use href=\"#wtg\" x=\"613\" y=\"146\"/><use href=\"#wtg\" x=\"706\" y=\"245\"/><use href=\"#wtg\" x=\"799\" y=\"344\"/><use href=\"#wtg\" x=\"892\" y=\"443\"/><use href=\"#wtg\" x=\"985\" y=\"543\"/><use href=\"#wtg\" x=\"1077\" y=\"642\"/><use href=\"#wtg\" x=\"1170\" y=\"741\"/><use href=\"#wtg\" x=\"634\" y=\"47\"/><use href=\"#wtg\" x=\"727\" y=\"146\"/><use href=\"#wtg\" x=\"820\" y=\"245\"/><use href=\"#wtg\" x=\"913\" y=\"344\"/><use href=\"#wtg\" x=\"1005\" y=\"443\"/><use href=\"#wtg\" x=\"1098\" y=\"542\"/><use href=\"#wtg\" x=\"1191\" y=\"642\"/><use href=\"#wtg\" x=\"1284\" y=\"741\"/><use href=\"#wtg\" x=\"748\" y=\"46\"/><use href=\"#wtg\" x=\"840\" y=\"146\"/><use href=\"#wtg\" x=\"933\" y=\"245\"/><use href=\"#wtg\" x=\"1026\" y=\"344\"/><use href=\"#wtg\" x=\"1119\" y=\"443\"/><use href=\"#wtg\" x=\"1212\" y=\"542\"/><use href=\"#wtg\" x=\"1305\" y=\"642\"/><use href=\"#wtg\" x=\"1397\" y=\"741\"/><use href=\"#wtg\" x=\"861\" y=\"46\"/><use href=\"#wtg\" x=\"954\" y=\"146\"/><use href=\"#wtg\" x=\"1047\" y=\"245\"/><use href=\"#wtg\" x=\"1140\" y=\"344\"/><use href=\"#wtg\" x=\"1233\" y=\"443\"/><use href=\"#wtg\" x=\"1325\" y=\"542\"/><use href=\"#wtg\" x=\"1418\" y=\"642\"/><use href=\"#wtg\" x=\"1511\" y=\"741\"/><use href=\"#wtg\" x=\"975\" y=\"46\"/><use href=\"#wtg\" x=\"1068\" y=\"145\"/><use href=\"#wtg\" x=\"1160\" y=\"245\"/><use href=\"#wtg\" x=\"1253\" y=\"344\"/><use href=\"#wtg\" x=\"1346\" y=\"443\"/><use href=\"#wtg\" x=\"1439\" y=\"542\"/><use href=\"#wtg\" x=\"1532\" y=\"641\"/><use href=\"#wtg\" x=\"1625\" y=\"741\"/><use href=\"#wtg\" x=\"1088\" y=\"46\"/><use href=\"#wtg\" x=\"1181\" y=\"145\"/><use href=\"#wtg\" x=\"1274\" y=\"245\"/><use href=\"#wtg\" x=\"1367\" y=\"344\"/><use href=\"#wtg\" x=\"1460\" y=\"443\"/><use href=\"#wtg\" x=\"1552\" y=\"542\"/><use href=\"#wtg\" x=\"1645\" y=\"641\"/><use href=\"#wtg\" x=\"1738\" y=\"741\"/><use href=\"#wtg\" x=\"1202\" y=\"46\"/><use href=\"#wtg\" x=\"1295\" y=\"145\"/><use href=\"#wtg\" x=\"1388\" y=\"244\"/><use href=\"#wtg\" x=\"1480\" y=\"344\"/><use href=\"#wtg\" x=\"1573\" y=\"443\"/><use href=\"#wtg\" x=\"1666\" y=\"542\"/><use href=\"#wtg\" x=\"1759\" y=\"641\"/><use href=\"#wtg\" x=\"1852\" y=\"740\"/></g></g><g id=\"OSSgrp\"><use href=\"#oss\" x=\"632.5\" y=\"349.5\"/><use href=\"#oss\" x=\"1281.5\" y=\"417.5\"/></g></g></svg>"
      ],
      "text/plain": [
       "<optiwindnet.svg.SvgRepr at 0x221bcfa7770>"
      ]
     },
     "execution_count": 4,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "svgplot(L)"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "5996b343-8973-49cb-8e34-d4b1161d625e",
   "metadata": {},
   "source": [
    "### Optimize Sheringham Shoal"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "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": [
    "Initial heuristic solution to warm-start the solver:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "id": "19eb273d-f662-4851-bf09-e0ec532d7b8b",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": [
       "<svg xmlns=\"http://www.w3.org/2000/svg\" viewBox=\"0 0 1920 787\"><defs><circle stroke=\"none\" stroke-width=\"2\" id=\"wtg\" r=\"12\"/><rect stroke=\"#111\" stroke-width=\"2\" id=\"oss\" width=\"21\" height=\"21\" fill=\"lawngreen\"/><filter x=\"-5%\" y=\"-5%\" id=\"bg_textbox\" width=\"110%\" height=\"110%\"><feFlood flood-opacity=\"0.6\" flood-color=\"black\" result=\"bg\"/><feMerge><feMergeNode in=\"bg\"/><feMergeNode in=\"SourceGraphic\"/></feMerge></filter></defs><g id=\"sheringham\"><path stroke=\"silver\" stroke-dasharray=\"15 7\" stroke-width=\"2\" id=\"border\" d=\"M709 757 30 31 1209 30 1890 757z\" fill-rule=\"evenodd\" fill=\"#111\"/><g stroke=\"crimson\" stroke-width=\"4\" id=\"edges_unspecified\"><line x1=\"1068\" y1=\"145\" x2=\"1088\" y2=\"46\"/><line x1=\"1181\" y1=\"145\" x2=\"1202\" y2=\"46\"/><line x1=\"1160\" y1=\"245\" x2=\"1181\" y2=\"145\"/><line x1=\"727\" y1=\"146\" x2=\"748\" y2=\"46\"/><line x1=\"706\" y1=\"245\" x2=\"727\" y2=\"146\"/><line x1=\"840\" y1=\"146\" x2=\"861\" y2=\"46\"/><line x1=\"820\" y1=\"245\" x2=\"840\" y2=\"146\"/><line x1=\"1047\" y1=\"245\" x2=\"1068\" y2=\"145\"/><line x1=\"1026\" y1=\"344\" x2=\"1047\" y2=\"245\"/><line x1=\"500\" y1=\"146\" x2=\"520\" y2=\"47\"/><line x1=\"479\" y1=\"245\" x2=\"500\" y2=\"146\"/><line x1=\"985\" y1=\"543\" x2=\"1005\" y2=\"443\"/><line x1=\"1005\" y1=\"443\" x2=\"1119\" y2=\"443\"/><line x1=\"1098\" y1=\"542\" x2=\"1212\" y2=\"542\"/><line x1=\"1077\" y1=\"642\" x2=\"1098\" y2=\"542\"/><line x1=\"799\" y1=\"344\" x2=\"913\" y2=\"344\"/><line x1=\"685\" y1=\"344\" x2=\"799\" y2=\"344\"/><line x1=\"706\" y1=\"245\" x2=\"820\" y2=\"245\"/><line x1=\"479\" y1=\"245\" x2=\"593\" y2=\"245\"/><line x1=\"593\" y1=\"245\" x2=\"613\" y2=\"146\"/><line x1=\"643\" y1=\"360\" x2=\"593\" y2=\"245\"/><line x1=\"1274\" y1=\"245\" x2=\"1295\" y2=\"145\"/><line x1=\"66\" y1=\"47\" x2=\"180\" y2=\"47\"/><line x1=\"159\" y1=\"146\" x2=\"180\" y2=\"47\"/><line x1=\"159\" y1=\"146\" x2=\"273\" y2=\"146\"/><line x1=\"273\" y1=\"146\" x2=\"293\" y2=\"47\"/><line x1=\"252\" y1=\"245\" x2=\"273\" y2=\"146\"/><line x1=\"737\" y1=\"642\" x2=\"758\" y2=\"543\"/><line x1=\"716\" y1=\"741\" x2=\"737\" y2=\"642\"/><line x1=\"850\" y1=\"642\" x2=\"871\" y2=\"543\"/><line x1=\"830\" y1=\"741\" x2=\"850\" y2=\"642\"/><line x1=\"1057\" y1=\"741\" x2=\"1077\" y2=\"642\"/><line x1=\"613\" y1=\"146\" x2=\"634\" y2=\"47\"/><line x1=\"386\" y1=\"146\" x2=\"407\" y2=\"47\"/><line x1=\"365\" y1=\"245\" x2=\"386\" y2=\"146\"/><line x1=\"1160\" y1=\"245\" x2=\"1274\" y2=\"245\"/><line x1=\"1253\" y1=\"344\" x2=\"1274\" y2=\"245\"/><line x1=\"1367\" y1=\"344\" x2=\"1388\" y2=\"244\"/><line x1=\"1346\" y1=\"443\" x2=\"1367\" y2=\"344\"/><line x1=\"1292\" y1=\"428\" x2=\"1346\" y2=\"443\"/><line x1=\"643\" y1=\"360\" x2=\"685\" y2=\"344\"/><line x1=\"643\" y1=\"360\" x2=\"706\" y2=\"245\"/><line x1=\"943\" y1=\"741\" x2=\"964\" y2=\"642\"/><line x1=\"551\" y1=\"444\" x2=\"572\" y2=\"344\"/><line x1=\"643\" y1=\"360\" x2=\"572\" y2=\"344\"/><line x1=\"1284\" y1=\"741\" x2=\"1305\" y2=\"642\"/><line x1=\"1397\" y1=\"741\" x2=\"1418\" y2=\"642\"/><line x1=\"933\" y1=\"245\" x2=\"954\" y2=\"146\"/><line x1=\"913\" y1=\"344\" x2=\"933\" y2=\"245\"/><line x1=\"1292\" y1=\"428\" x2=\"1140\" y2=\"344\"/><line x1=\"1026\" y1=\"344\" x2=\"1140\" y2=\"344\"/><line x1=\"530\" y1=\"543\" x2=\"551\" y2=\"444\"/><line x1=\"345\" y1=\"344\" x2=\"365\" y2=\"245\"/><line x1=\"1170\" y1=\"741\" x2=\"1191\" y2=\"642\"/><line x1=\"1191\" y1=\"642\" x2=\"1212\" y2=\"542\"/><line x1=\"1460\" y1=\"443\" x2=\"1480\" y2=\"344\"/><line x1=\"623\" y1=\"642\" x2=\"644\" y2=\"543\"/><line x1=\"644\" y1=\"543\" x2=\"758\" y2=\"543\"/><line x1=\"644\" y1=\"543\" x2=\"665\" y2=\"444\"/><line x1=\"1625\" y1=\"741\" x2=\"1645\" y2=\"641\"/><line x1=\"1738\" y1=\"741\" x2=\"1852\" y2=\"740\"/><line x1=\"1738\" y1=\"741\" x2=\"1759\" y2=\"641\"/><line x1=\"1532\" y1=\"641\" x2=\"1552\" y2=\"542\"/><line x1=\"1511\" y1=\"741\" x2=\"1532\" y2=\"641\"/><line x1=\"1552\" y1=\"542\" x2=\"1573\" y2=\"443\"/><line x1=\"643\" y1=\"360\" x2=\"665\" y2=\"444\"/><line x1=\"871\" y1=\"543\" x2=\"892\" y2=\"443\"/><line x1=\"778\" y1=\"443\" x2=\"892\" y2=\"443\"/><line x1=\"964\" y1=\"642\" x2=\"985\" y2=\"543\"/><line x1=\"1645\" y1=\"641\" x2=\"1666\" y2=\"542\"/><line x1=\"954\" y1=\"146\" x2=\"975\" y2=\"46\"/><line x1=\"1460\" y1=\"443\" x2=\"1573\" y2=\"443\"/><line x1=\"1645\" y1=\"641\" x2=\"1759\" y2=\"641\"/><line x1=\"1292\" y1=\"428\" x2=\"1212\" y2=\"542\"/><line x1=\"1418\" y1=\"642\" x2=\"1439\" y2=\"542\"/><line x1=\"1325\" y1=\"542\" x2=\"1439\" y2=\"542\"/><line x1=\"1292\" y1=\"428\" x2=\"1325\" y2=\"542\"/><line x1=\"1292\" y1=\"428\" x2=\"1253\" y2=\"344\"/><line x1=\"1292\" y1=\"428\" x2=\"1233\" y2=\"443\"/><line x1=\"345\" y1=\"344\" x2=\"458\" y2=\"344\"/><line x1=\"1305\" y1=\"642\" x2=\"1325\" y2=\"542\"/><line x1=\"1119\" y1=\"443\" x2=\"1233\" y2=\"443\"/><line x1=\"438\" y1=\"444\" x2=\"458\" y2=\"344\"/><line x1=\"643\" y1=\"360\" x2=\"778\" y2=\"443\"/></g><g stroke=\"red\" stroke-dasharray=\"18 15\" stroke-width=\"4\" id=\"edges_tentative\"><line x1=\"1292\" y1=\"428\" x2=\"1666\" y2=\"542\"/><line x1=\"1292\" y1=\"428\" x2=\"1460\" y2=\"443\"/><line x1=\"643\" y1=\"360\" x2=\"458\" y2=\"344\"/><line x1=\"643\" y1=\"360\" x2=\"252\" y2=\"245\"/></g><g id=\"WTGgrp\"><g fill=\"#c5b0d5\"><use href=\"#wtg\" x=\"1088\" y=\"46\"/><use href=\"#wtg\" x=\"1047\" y=\"245\"/><use href=\"#wtg\" x=\"1068\" y=\"145\"/><use href=\"#wtg\" x=\"1140\" y=\"344\"/><use href=\"#wtg\" x=\"1026\" y=\"344\"/></g><g fill=\"#c7c7c7\"><use href=\"#wtg\" x=\"1181\" y=\"145\"/><use href=\"#wtg\" x=\"1295\" y=\"145\"/><use href=\"#wtg\" x=\"1274\" y=\"245\"/><use href=\"#wtg\" x=\"1160\" y=\"245\"/><use href=\"#wtg\" x=\"1202\" y=\"46\"/><use href=\"#wtg\" x=\"1253\" y=\"344\"/></g><g fill=\"#ff7f0e\"><use href=\"#wtg\" x=\"727\" y=\"146\"/><use href=\"#wtg\" x=\"840\" y=\"146\"/><use href=\"#wtg\" x=\"820\" y=\"245\"/><use href=\"#wtg\" x=\"706\" y=\"245\"/><use href=\"#wtg\" x=\"748\" y=\"46\"/><use href=\"#wtg\" x=\"861\" y=\"46\"/></g><g fill=\"#1f77b4\"><use href=\"#wtg\" x=\"500\" y=\"146\"/><use href=\"#wtg\" x=\"520\" y=\"47\"/><use href=\"#wtg\" x=\"479\" y=\"245\"/><use href=\"#wtg\" x=\"593\" y=\"245\"/><use href=\"#wtg\" x=\"634\" y=\"47\"/><use href=\"#wtg\" x=\"613\" y=\"146\"/></g><g fill=\"#f7b6d2\"><use href=\"#wtg\" x=\"1005\" y=\"443\"/><use href=\"#wtg\" x=\"943\" y=\"741\"/><use href=\"#wtg\" x=\"964\" y=\"642\"/><use href=\"#wtg\" x=\"1119\" y=\"443\"/><use href=\"#wtg\" x=\"1233\" y=\"443\"/><use href=\"#wtg\" x=\"985\" y=\"543\"/></g><g fill=\"#e377c2\"><use href=\"#wtg\" x=\"1098\" y=\"542\"/><use href=\"#wtg\" x=\"1057\" y=\"741\"/><use href=\"#wtg\" x=\"1077\" y=\"642\"/><use href=\"#wtg\" x=\"1191\" y=\"642\"/><use href=\"#wtg\" x=\"1170\" y=\"741\"/><use href=\"#wtg\" x=\"1212\" y=\"542\"/></g><g fill=\"#aec7e8\"><use href=\"#wtg\" x=\"799\" y=\"344\"/><use href=\"#wtg\" x=\"685\" y=\"344\"/><use href=\"#wtg\" x=\"933\" y=\"245\"/><use href=\"#wtg\" x=\"913\" y=\"344\"/><use href=\"#wtg\" x=\"954\" y=\"146\"/><use href=\"#wtg\" x=\"975\" y=\"46\"/></g><g fill=\"#ff9896\"><use href=\"#wtg\" x=\"180\" y=\"47\"/><use href=\"#wtg\" x=\"273\" y=\"146\"/><use href=\"#wtg\" x=\"159\" y=\"146\"/><use href=\"#wtg\" x=\"293\" y=\"47\"/><use href=\"#wtg\" x=\"252\" y=\"245\"/><use href=\"#wtg\" x=\"66\" y=\"47\"/></g><g fill=\"#2ca02c\"><use href=\"#wtg\" x=\"737\" y=\"642\"/><use href=\"#wtg\" x=\"623\" y=\"642\"/><use href=\"#wtg\" x=\"644\" y=\"543\"/><use href=\"#wtg\" x=\"665\" y=\"444\"/><use href=\"#wtg\" x=\"758\" y=\"543\"/><use href=\"#wtg\" x=\"716\" y=\"741\"/></g><g fill=\"#d62728\"><use href=\"#wtg\" x=\"850\" y=\"642\"/><use href=\"#wtg\" x=\"830\" y=\"741\"/><use href=\"#wtg\" x=\"871\" y=\"543\"/><use href=\"#wtg\" x=\"892\" y=\"443\"/><use href=\"#wtg\" x=\"778\" y=\"443\"/></g><g fill=\"#98df8a\"><use href=\"#wtg\" x=\"386\" y=\"146\"/><use href=\"#wtg\" x=\"365\" y=\"245\"/><use href=\"#wtg\" x=\"407\" y=\"47\"/><use href=\"#wtg\" x=\"345\" y=\"344\"/><use href=\"#wtg\" x=\"438\" y=\"444\"/><use href=\"#wtg\" x=\"458\" y=\"344\"/></g><g fill=\"#9467bd\"><use href=\"#wtg\" x=\"1388\" y=\"244\"/><use href=\"#wtg\" x=\"1346\" y=\"443\"/><use href=\"#wtg\" x=\"1367\" y=\"344\"/></g><g fill=\"#ffbb78\"><use href=\"#wtg\" x=\"572\" y=\"344\"/><use href=\"#wtg\" x=\"530\" y=\"543\"/><use href=\"#wtg\" x=\"551\" y=\"444\"/></g><g fill=\"#7f7f7f\"><use href=\"#wtg\" x=\"1284\" y=\"741\"/><use href=\"#wtg\" x=\"1397\" y=\"741\"/><use href=\"#wtg\" x=\"1418\" y=\"642\"/><use href=\"#wtg\" x=\"1439\" y=\"542\"/><use href=\"#wtg\" x=\"1305\" y=\"642\"/><use href=\"#wtg\" x=\"1325\" y=\"542\"/></g><g fill=\"#c49c94\"><use href=\"#wtg\" x=\"1480\" y=\"344\"/><use href=\"#wtg\" x=\"1532\" y=\"641\"/><use href=\"#wtg\" x=\"1552\" y=\"542\"/><use href=\"#wtg\" x=\"1460\" y=\"443\"/><use href=\"#wtg\" x=\"1511\" y=\"741\"/><use href=\"#wtg\" x=\"1573\" y=\"443\"/></g><g fill=\"#8c564b\"><use href=\"#wtg\" x=\"1625\" y=\"741\"/><use href=\"#wtg\" x=\"1738\" y=\"741\"/><use href=\"#wtg\" x=\"1666\" y=\"542\"/><use href=\"#wtg\" x=\"1759\" y=\"641\"/><use href=\"#wtg\" x=\"1645\" y=\"641\"/><use href=\"#wtg\" x=\"1852\" y=\"740\"/></g></g><g id=\"OSSgrp\"><use href=\"#oss\" x=\"632.5\" y=\"349.5\"/><use href=\"#oss\" x=\"1281.5\" y=\"417.5\"/></g></g><text filter=\"url(#bg_textbox)\" text-anchor=\"end\" font-family=\"sans-serif\" font-size=\"40\" fill=\"white\" x=\"1890\" y=\"757\"><tspan x=\"1890\" dy=\"-0.0em\">&#931;&#955; = 63471.0 m</tspan><tspan x=\"1890\" dy=\"-1.3em\">(+1) &#945;: 8, &#946;: 8</tspan><tspan x=\"1890\" dy=\"-1.3em\">&#954; = 6, T = 88</tspan></text></svg>"
      ],
      "text/plain": [
       "<optiwindnet.svg.SvgRepr at 0x221bddef830>"
      ]
     },
     "execution_count": 6,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "Sʹ = EW_presolver(A, capacity=capacity)\n",
    "Gʹ = G_from_S(Sʹ, A)\n",
    "svgplot(Gʹ)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "id": "977c294a-b052-4cba-97e8-a71b86b480f3",
   "metadata": {},
   "outputs": [],
   "source": [
    "solver = solver_factory('scip')"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "id": "ceb633e1-785a-4625-bf8a-c1fc4b5bd298",
   "metadata": {},
   "outputs": [
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "Solver <scip> is not capable of warm-starting.\n"
     ]
    }
   ],
   "source": [
    "solver.set_problem(\n",
    "    P, A,\n",
    "    capacity=Sʹ.graph['capacity'],\n",
    "    model_options=ModelOptions(\n",
    "        topology=\"branched\",\n",
    "        feeder_route=\"segmented\",\n",
    "        feeder_limit=\"unlimited\",\n",
    "    ),\n",
    "    warmstart=Sʹ,\n",
    ")"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "73ab52bb-067d-4e39-b8e7-bc92a3573e01",
   "metadata": {},
   "source": [
    "SCIP's Pyomo API does not offer the warm-starting capability yet."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "id": "71a448d2-3257-4c58-a7c4-d953b989ea75",
   "metadata": {
    "scrolled": true
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "SCIP version 9.2.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 7.1.4] [GitHash: 416226a4f8]\n",
      "Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)\n",
      "\n",
      "External libraries: \n",
      "  SoPlex 7.1.4         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 7c53d552]\n",
      "  CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)\n",
      "  ZLIB 1.3.1           General purpose compression library by J. Gailly and M. Adler (zlib.net)\n",
      "  GMP 6.3.0            GNU Multiple Precision Arithmetic Library developed by T. Granlund (gmplib.org)\n",
      "  ZIMPL 3.6.2          Zuse Institute Mathematical Programming Language developed by T. Koch (zimpl.zib.de)\n",
      "  AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)\n",
      "  PaPILO 2.4.2         parallel presolve for integer and linear optimization (github.com/scipopt/papilo) (built with TBB) [GitHash: 4b399c4c]\n",
      "  Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)\n",
      "  sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)\n",
      "  Ipopt 3.14.17        Interior Point Optimizer developed by A. Waechter et.al. (github.com/coin-or/Ipopt)\n",
      "\n",
      "reading user parameter file <scip.set>\n",
      "===========================\n",
      "\n",
      "limits/time = 180\n",
      "limits/gap = 0.005\n",
      "\n",
      "read problem <C:\\Users\\s213184\\tmp\\tmpoi42vd8z.pyomo.nl>\n",
      "============\n",
      "\n",
      "original problem has 1992 variables (996 bin, 996 int, 0 impl, 0 cont) and 2986 constraints\n",
      "\n",
      "solve problem\n",
      "=============\n",
      "\n",
      "  [linear] <lc0>: <b0>[B] (+0) +<b1>[B] (+0) +<b2>[B] (+0) +<b3>[B] (+0) +<b4>[B] (+0) +<b5>[B] (+0) +<b6>[B] (+0) +<b7>[B] (+0) +<b8>[B] (+0) +<b9>[B] (+0) +<b10>[B] (+0) +<b11>[B] (+0) +<b12>[B] (+0) +<b13>[B] (+0) +<b14>[B] (+0) +<b15>[B] (+0) +<b16>[B] (+0) +<b17>[B] (+0) +<b18>[B] (+0) +<b19>[B] (+0) +<b20>[B] (+0) +<b21>[B] (+0) +<b22>[B] (+0) +<b23>[B] (+0) +<b24>[B] (+0) +<b25>[B] (+0) +<b26>[B] (+0) +<b27>[B] (+0) +<b28>[B] (+0) +<b29>[B] (+0) +<b30>[B] (+0) +<b31>[B] (+0) +<b32>[B] (+0) +<b33>[B] (+0) +<b34>[B] (+0) +<b35>[B] (+0) +<b36>[B] (+0) +<b37>[B] (+0) +<b38>[B] (+0) +<b39>[B] (+0) +<b40>[B] (+0) +<b41>[B] (+0) +<b42>[B] (+0) +<b43>[B] (+0) +<b44>[B] (+0) +<b45>[B] (+0) +<b46>[B] (+0) +<b47>[B] (+0) +<b48>[B] (+0) +<b49>[B] (+0) +<b50>[B] (+0) +<b51>[B] (+0) +<b52>[B] (+0) +<b53>[B] (+0) +<b54>[B] (+0) +<b55>[B] (+0) +<b56>[B] (+0) +<b57>[B] (+0) +<b58>[B] (+0) +<b59>[B] (+0) +<b60>[B] (+0) +<b61>[B] (+0) +<b62>[B] (+0) +<b63>[B] (+0) +<b64>[B] (+0) +<b65>[B] (+0) +<b66>[B] (+0) +<b67>[B] (+0) +<b68>[B] (+0) +<b69>[B] (+0) +<b70>[B] (+0) +<b71>[B] (+0) +<b72>[B] (+0) +<b73>[B] (+0) +<b74>[B] (+0) +<b75>[B] (+0) +<b76>[B] (+0) +<b77>[B] (+0) +<b78>[B] (+0) +<b79>[B] (+0) +<b80>[B] (+0) +<b81>[B] (+0) +<b82>[B] (+0) +<b83>[B] (+0) +<b84>[B] (+0) +<b85>[B] (+0) +<b86>[B] (+0) +<b87>[B] (+0) +<b88>[B] (+0) +<b89>[B] (+0) +<b90>[B] (+0) +<b91>[B] (+0) +<b92>[B] (+0) +<b93>[B] (+0) +<b94>[B] (+0) +<b95>[B] (+0) +<b96>[B] (+0) +<b97>[B] (+0) +<b98>[B] (+0) +<b99>[B] (+0) +<b100>[B] (+0) +<b101>[B] (+0) +<b102>[B] (+0) +<b103>[B] (+0) +<b104>[B] (+0) +<b105>[B] (+0) +<b106>[B] (+0) +<b107>[B] (+0) +<b108>[B] (+0) +<b109>[B] (+0) +<b110>[B] (+0) +<b111>[B] (+0) +<b112>[B] (+0) +<b113>[B] (+0) +<b114>[B] (+0) +<b115>[B] (+0) +<b116>[B] (+0) +<b117>[B] (+0) +<b118>[B] (+0) +<b119>[B] (+0) +<b120>[B] (+0) +<b121>[B] (+0) +<b122>[B] (+0) +<b123>[B] (+0) +<b124>[B] (+0) +<b125>[B] (+0) +<b126>[B] (+0) +<b127>[B] (+0) +<b128>[B] (+0) +<b129>[B] (+0) +<b130>[B] (+0) +<b131>[B] (+0) +<b132>[B] (+0) +<b133>[B] (+0) +<b134>[B] (+0) +<b135>[B] (+0) +<b136>[B] (+0) +<b137>[B] (+0) +<b138>[B] (+0) +<b139>[B] (+0) +<b140>[B] (+0) +<b141>[B] (+0) +<b142>[B] (+0) +<b143>[B] (+0) +<b144>[B] (+0) +<b145>[B] (+0) +<b146>[B] (+0) +<b147>[B] (+0) +<b148>[B] (+0) +<b149>[B] (+0) +<b150>[B] (+0) +<b151>[B] (+0) +<b152>[B] (+0) +<b153>[B] (+0) +<b154>[B] (+0) +<b155>[B] (+0) +<b156>[B] (+0) +<b157>[B] (+0) +<b158>[B] (+0) +<b159>[B] (+0) +<b160>[B] (+0) +<b161>[B] (+0) +<b162>[B] (+0) +<b163>[B] (+0) +<b164>[B] (+0) +<b165>[B] (+0) +<b166>[B] (+0) +<b167>[B] (+0) +<b168>[B] (+0) +<b169>[B] (+0) +<b170>[B] (+0) +<b171>[B] (+0) +<b172>[B] (+0) +<b173>[B] (+0) +<b174>[B] (+0) +<b175>[B] (+0) +<b176>[B] (+0) +<b177>[B] (+0) +<b178>[B] (+0) +<b179>[B] (+0) +<b180>[B] (+0) +<b181>[B] (+0) +<b182>[B] (+0) +<b183>[B] (+0) +<b184>[B] (+0) +<b185>[B] (+0) +<b186>[B] (+0) +<b187>[B] (+0) +<b188>[B] (+0) +<b189>[B] (+0) +<b190>[B] (+0) +<b191>[B] (+0) +<b192>[B] (+0) +<b193>[B] (+0) +<b194>[B] (+0) +<b195>[B] (+0) +<b196>[B] (+0) +<b197>[B] (+0) +<b198>[B] (+0) +<b199>[B] (+0) +<b200>[B] (+0) +<b201>[B] (+0) +<b202>[B] (+0) +<b203>[B] (+0) +<b204>[B] (+0) +<b205>[B] (+0) +<b206>[B] (+0) +<b207>[B] (+0) +<b208>[B] (+0) +<b209>[B] (+0) +<b210>[B] (+0) +<b211>[B] (+0) +<b212>[B] (+0) +<b213>[B] (+0) +<b214>[B] (+0) +<b215>[B] (+0) +<b216>[B] (+0) +<b217>[B] (+0) +<b218>[B] (+0) +<b219>[B] (+0) +<b220>[B] (+0) +<b221>[B] (+0) +<b222>[B] (+0) +<b223>[B] (+0) +<b224>[B] (+0) +<b225>[B] (+0) +<b226>[B] (+0) +<b227>[B] (+0) +<b228>[B] (+0) +<b229>[B] (+0) +<b230>[B] (+0) +<b231>[B] (+0) +<b232>[B] (+0) +<b233>[B] (+0) +<b234>[B] (+0) +<b235>[B] (+0) +<b236>[B] (+0) +<b237>[B] (+0) +<b238>[B] (+0) +<b239>[B] (+0) +<b240>[B] (+0) +<b241>[B] (+0) +<b242>[B] (+0) +<b243>[B] (+0) +<b244>[B] (+0) +<b245>[B] (+0) +<b246>[B] (+0) +<b247>[B] (+0) +<b248>[B] (+0) +<b249>[B] (+0) +<b250>[B] (+0) +<b251>[B] (+0) +<b252>[B] (+0) +<b253>[B] (+0) +<b254>[B] (+0) +<b255>[B] (+0) +<b256>[B] (+0) +<b257>[B] (+0) +<b258>[B] (+0) +<b259>[B] (+0) +<b260>[B] (+0) +<b261>[B] (+0) +<b262>[B] (+0) +<b263>[B] (+0) +<b264>[B] (+0) +<b265>[B] (+0) +<b266>[B] (+0) +<b267>[B] (+0) +<b268>[B] (+0) +<b269>[B] (+0) +<b270>[B] (+0) +<b271>[B] (+0) +<b272>[B] (+0) +<b273>[B] (+0) +<b274>[B] (+0) +<b275>[B] (+0) +<b276>[B] (+0) +<b277>[B] (+0) +<b278>[B] (+0) +<b279>[B] (+0) +<b280>[B] (+0) +<b281>[B] (+0) +<b282>[B] (+0) +<b283>[B] (+0) +<b284>[B] (+0) +<b285>[B] (+0) +<b286>[B] (+0) +<b287>[B] (+0) +<b288>[B] (+0) +<b289>[B] (+0) +<b290>[B] (+0) +<b291>[B] (+0) +<b292>[B] (+0) +<b293>[B] (+0) +<b294>[B] (+0) +<b295>[B] (+0) +<b296>[B] (+0) +<b297>[B] (+0) +<b298>[B] (+0) +<b299>[B] (+0) +<b300>[B] (+0) +<b301>[B] (+0) +<b302>[B] (+0) +<b303>[B] (+0) +<b304>[B] (+0) +<b305>[B] (+0) +<b306>[B] (+0) +<b307>[B] (+0) +<b308>[B] (+0) +<b309>[B] (+0) +<b310>[B] (+0) +<b311>[B] (+0) +<b312>[B] (+0) +<b313>[B] (+0) +<b314>[B] (+0) +<b315>[B] (+0) +<b316>[B] (+0) +<b317>[B] (+0) +<b318>[B] (+0) +<b319>[B] (+0) +<b320>[B] (+0) +<b321>[B] (+0) +<b322>[B] (+0) +<b323>[B] (+0) +<b324>[B] (+0) +<b325>[B] (+0) +<b326>[B] (+0) +<b327>[B] (+0) +<b328>[B] (+0) +<b329>[B] (+0) +<b330>[B] (+0) +<b331>[B] (+0) +<b332>[B] (+0) +<b333>[B] (+0) +<b334>[B] (+0) +<b335>[B] (+0) +<b336>[B] (+0) +<b337>[B] (+0) +<b338>[B] (+0) +<b339>[B] (+0) +<b340>[B] (+0) +<b341>[B] (+0) +<b342>[B] (+0) +<b343>[B] (+0) +<b344>[B] (+0) +<b345>[B] (+0) +<b346>[B] (+0) +<b347>[B] (+0) +<b348>[B] (+0) +<b349>[B] (+0) +<b350>[B] (+0) +<b351>[B] (+0) +<b352>[B] (+0) +<b353>[B] (+0) +<b354>[B] (+0) +<b355>[B] (+0) +<b356>[B] (+0) +<b357>[B] (+0) +<b358>[B] (+0) +<b359>[B] (+0) +<b360>[B] (+0) +<b361>[B] (+0) +<b362>[B] (+0) +<b363>[B] (+0) +<b364>[B] (+0) +<b365>[B] (+0) +<b366>[B] (+0) +<b367>[B] (+0) +<b368>[B] (+0) +<b369>[B] (+0) +<b370>[B] (+0) +<b371>[B] (+0) +<b372>[B] (+0) +<b373>[B] (+0) +<b374>[B] (+0) +<b375>[B] (+0) +<b376>[B] (+0) +<b377>[B] (+0) +<b378>[B] (+0) +<b379>[B] (+0) +<b380>[B] (+0) +<b381>[B] (+0) +<b382>[B] (+0) +<b383>[B] (+0) +<b384>[B] (+0) +<b385>[B] (+0) +<b386>[B] (+0) +<b387>[B] (+0) +<b388>[B] (+0) +<b389>[B] (+0) +<b390>[B] (+0) +<b391>[B] (+0) +<b392>[B] (+0) +<b393>[B] (+0) +<b394>[B] (+0) +<b395>[B] (+0) +<b396>[B] (+0) +<b397>[B] (+0) +<b398>[B] (+0) +<b399>[B] (+0) +<b400>[B] (+0) +<b401>[B] (+0) +<b402>[B] (+0) +<b403>[B] (+0) +<b404>[B] (+0) +<b405>[B] (+0) +<b406>[B] (+0) +<b407>[B] (+0) +<b408>[B] (+0) +<b409>[B] (+0) +<b410>[B] (+0) +<b411>[B] (+0) +<b412>[B] (+0) +<b413>[B] (+0) +<b414>[B] (+0) +<b415>[B] (+0) +<b416>[B] (+0) +<b417>[B] (+0) +<b418>[B] (+0) +<b419>[B] (+0) +<b420>[B] (+0) +<b421>[B] (+0) +<b422>[B] (+0) +<b423>[B] (+0) +<b424>[B] (+0) +<b425>[B] (+0) +<b426>[B] (+0) +<b427>[B] (+0) +<b428>[B] (+0) +<b429>[B] (+0) +<b430>[B] (+0) +<b431>[B] (+0) +<b432>[B] (+0) +<b433>[B] (+0) +<b434>[B] (+0) +<b435>[B] (+0) +<b436>[B] (+0) +<b437>[B] (+0) +<b438>[B] (+0) +<b439>[B] (+0) +<b440>[B] (+0) +<b441>[B] (+0) +<b442>[B] (+0) +<b443>[B] (+0) +<b444>[B] (+0) +<b445>[B] (+0) +<b446>[B] (+0) +<b447>[B] (+0) +<b448>[B] (+0) +<b449>[B] (+0) +<b450>[B] (+0) +<b451>[B] (+0) +<b452>[B] (+0) +<b453>[B] (+0) +<b454>[B] (+0) +<b455>[B] (+0) +<b456>[B] (+0) +<b457>[B] (+0) +<b458>[B] (+0) +<b459>[B] (+0) +<b460>[B] (+0) +<b461>[B] (+0) +<b462>[B] (+0) +<b463>[B] (+0) +<b464>[B] (+0) +<b465>[B] (+0) +<b466>[B] (+0) +<b467>[B] (+0) +<b468>[B] (+0) +<b469>[B] (+0) +<b470>[B] (+0) +<b471>[B] (+0) +<b472>[B] (+0) +<b473>[B] (+0) +<b474>[B] (+0) +<b475>[B] (+0) +<b476>[B] (+0) +<b477>[B] (+0) +<b478>[B] (+0) +<b479>[B] (+0) +<b480>[B] (+0) +<b481>[B] (+0) +<b482>[B] (+0) +<b483>[B] (+0) +<b484>[B] (+0) +<b485>[B] (+0) +<b486>[B] (+0) +<b487>[B] (+0) +<b488>[B] (+0) +<b489>[B] (+0) +<b490>[B] (+0) +<b491>[B] (+0) +<b492>[B] (+0) +<b493>[B] (+0) +<b494>[B] (+0) +<b495>[B] (+0) +<b496>[B] (+0) +<b497>[B] (+0) +<b498>[B] (+0) +<b499>[B] (+0) +<b500>[B] (+0) +<b501>[B] (+0) +<b502>[B] (+0) +<b503>[B] (+0) +<b504>[B] (+0) +<b505>[B] (+0) +<b506>[B] (+0) +<b507>[B] (+0) +<b508>[B] (+0) +<b509>[B] (+0) +<b510>[B] (+0) +<b511>[B] (+0) +<b512>[B] (+0) +<b513>[B] (+0) +<b514>[B] (+0) +<b515>[B] (+0) +<b516>[B] (+0) +<b517>[B] (+0) +<b518>[B] (+0) +<b519>[B] (+0) +<b520>[B] (+0) +<b521>[B] (+0) +<b522>[B] (+0) +<b523>[B] (+0) +<b524>[B] (+0) +<b525>[B] (+0) +<b526>[B] (+0) +<b527>[B] (+0) +<b528>[B] (+0) +<b529>[B] (+0) +<b530>[B] (+0) +<b531>[B] (+0) +<b532>[B] (+0) +<b533>[B] (+0) +<b534>[B] (+0) +<b535>[B] (+0) +<b536>[B] (+0) +<b537>[B] (+0) +<b538>[B] (+0) +<b539>[B] (+0) +<b540>[B] (+0) +<b541>[B] (+0) +<b542>[B] (+0) +<b543>[B] (+0) +<b544>[B] (+0) +<b545>[B] (+0) +<b546>[B] (+0) +<b547>[B] (+0) +<b548>[B] (+0) +<b549>[B] (+0) +<b550>[B] (+0) +<b551>[B] (+0) +<b552>[B] (+0) +<b553>[B] (+0) +<b554>[B] (+0) +<b555>[B] (+0) +<b556>[B] (+0) +<b557>[B] (+0) +<b558>[B] (+0) +<b559>[B] (+0) +<b560>[B] (+0) +<b561>[B] (+0) +<b562>[B] (+0) +<b563>[B] (+0) +<b564>[B] (+0) +<b565>[B] (+0) +<b566>[B] (+0) +<b567>[B] (+0) +<b568>[B] (+0) +<b569>[B] (+0) +<b570>[B] (+0) +<b571>[B] (+0) +<b572>[B] (+0) +<b573>[B] (+0) +<b574>[B] (+0) +<b575>[B] (+0) +<b576>[B] (+0) +<b577>[B] (+0) +<b578>[B] (+0) +<b579>[B] (+0) +<b580>[B] (+0) +<b581>[B] (+0) +<b582>[B] (+0) +<b583>[B] (+0) +<b584>[B] (+0) +<b585>[B] (+0) +<b586>[B] (+0) +<b587>[B] (+0) +<b588>[B] (+0) +<b589>[B] (+0) +<b590>[B] (+0) +<b591>[B] (+0) +<b592>[B] (+0) +<b593>[B] (+0) +<b594>[B] (+0) +<b595>[B] (+0) +<b596>[B] (+0) +<b597>[B] (+0) +<b598>[B] (+0) +<b599>[B] (+0) +<b600>[B] (+0) +<b601>[B] (+0) +<b602>[B] (+0) +<b603>[B] (+0) +<b604>[B] (+0) +<b605>[B] (+0) +<b606>[B] (+0) +<b607>[B] (+0) +<b608>[B] (+0) +<b609>[B] (+0) +<b610>[B] (+0) +<b611>[B] (+0) +<b612>[B] (+0) +<b613>[B] (+0) +<b614>[B] (+0) +<b615>[B] (+0) +<b616>[B] (+0) +<b617>[B] (+0) +<b618>[B] (+0) +<b619>[B] (+0) +<b620>[B] (+0) +<b621>[B] (+0) +<b622>[B] (+0) +<b623>[B] (+0) +<b624>[B] (+0) +<b625>[B] (+0) +<b626>[B] (+0) +<b627>[B] (+0) +<b628>[B] (+0) +<b629>[B] (+0) +<b630>[B] (+0) +<b631>[B] (+0) +<b632>[B] (+0) +<b633>[B] (+0) +<b634>[B] (+0) +<b635>[B] (+0) +<b636>[B] (+0) +<b637>[B] (+0) +<b638>[B] (+0) +<b639>[B] (+0) +<b640>[B] (+0) +<b641>[B] (+0) +<b642>[B] (+0) +<b643>[B] (+0) +<b644>[B] (+0) +<b645>[B] (+0) +<b646>[B] (+0) +<b647>[B] (+0) +<b648>[B] (+0) +<b649>[B] (+0) +<b650>[B] (+0) +<b651>[B] (+0) +<b652>[B] (+0) +<b653>[B] (+0) +<b654>[B] (+0) +<b655>[B] (+0) +<b656>[B] (+0) +<b657>[B] (+0) +<b658>[B] (+0) +<b659>[B] (+0) +<b660>[B] (+0) +<b661>[B] (+0) +<b662>[B] (+0) +<b663>[B] (+0) +<b664>[B] (+0) +<b665>[B] (+0) +<b666>[B] (+0) +<b667>[B] (+0) +<b668>[B] (+0) +<b669>[B] (+0) +<b670>[B] (+0) +<b671>[B] (+0) +<b672>[B] (+0) +<b673>[B] (+0) +<b674>[B] (+0) +<b675>[B] (+0) +<b676>[B] (+0) +<b677>[B] (+0) +<b678>[B] (+0) +<b679>[B] (+0) +<b680>[B] (+0) +<b681>[B] (+0) +<b682>[B] (+0) +<b683>[B] (+0) +<b684>[B] (+0) +<b685>[B] (+0) +<b686>[B] (+0) +<b687>[B] (+0) +<b688>[B] (+0) +<b689>[B] (+0) +<b690>[B] (+0) +<b691>[B] (+0) +<b692>[B] (+0) +<b693>[B] (+0) +<b694>[B] (+0) +<b695>[B] (+0) +<b696>[B] (+0) +<b697>[B] (+0) +<b698>[B] (+0) +<b699>[B] (+0) +<b700>[B] (+0) +<b701>[B] (+0) +<b702>[B] (+0) +<b703>[B] (+0) +<b704>[B] (+0) +<b705>[B] (+0) +<b706>[B] (+0) +<b707>[B] (+0) +<b708>[B] (+0) +<b709>[B] (+0) +<b710>[B] (+0) +<b711>[B] (+0) +<b712>[B] (+0) +<b713>[B] (+0) +<b714>[B] (+0) +<b715>[B] (+0) +<b716>[B] (+0) +<b717>[B] (+0) +<b718>[B] (+0) +<b719>[B] (+0) +<b720>[B] (+0) +<b721>[B] (+0) +<b722>[B] (+0) +<b723>[B] (+0) +<b724>[B] (+0) +<b725>[B] (+0) +<b726>[B] (+0) +<b727>[B] (+0) +<b728>[B] (+0) +<b729>[B] (+0) +<b730>[B] (+0) +<b731>[B] (+0) +<b732>[B] (+0) +<b733>[B] (+0) +<b734>[B] (+0) +<b735>[B] (+0) +<b736>[B] (+0) +<b737>[B] (+0) +<b738>[B] (+0) +<b739>[B] (+0) +<b740>[B] (+0) +<b741>[B] (+0) +<b742>[B] (+0) +<b743>[B] (+0) +<b744>[B] (+0) +<b745>[B] (+0) +<b746>[B] (+0) +<b747>[B] (+0) +<b748>[B] (+0) +<b749>[B] (+0) +<b750>[B] (+0) +<b751>[B] (+0) +<b752>[B] (+0) +<b753>[B] (+0) +<b754>[B] (+0) +<b755>[B] (+0) +<b756>[B] (+0) +<b757>[B] (+0) +<b758>[B] (+0) +<b759>[B] (+0) +<b760>[B] (+0) +<b761>[B] (+0) +<b762>[B] (+0) +<b763>[B] (+0) +<b764>[B] (+0) +<b765>[B] (+0) +<b766>[B] (+0) +<b767>[B] (+0) +<b768>[B] (+0) +<b769>[B] (+0) +<b770>[B] (+0) +<b771>[B] (+0) +<b772>[B] (+0) +<b773>[B] (+0) +<b774>[B] (+0) +<b775>[B] (+0) +<b776>[B] (+0) +<b777>[B] (+0) +<b778>[B] (+0) +<b779>[B] (+0) +<b780>[B] (+0) +<b781>[B] (+0) +<b782>[B] (+0) +<b783>[B] (+0) +<b784>[B] (+0) +<b785>[B] (+0) +<b786>[B] (+0) +<b787>[B] (+0) +<b788>[B] (+0) +<b789>[B] (+0) +<b790>[B] (+0) +<b791>[B] (+0) +<b792>[B] (+0) +<b793>[B] (+0) +<b794>[B] (+0) +<b795>[B] (+0) +<b796>[B] (+0) +<b797>[B] (+0) +<b798>[B] (+0) +<b799>[B] (+0) +<b800>[B] (+0) +<b801>[B] (+0) +<b802>[B] (+0) +<b803>[B] (+0) +<b804>[B] (+0) +<b805>[B] (+0) +<b806>[B] (+0) +<b807>[B] (+0) +<b808>[B] (+0) +<b809>[B] (+0) +<b810>[B] (+0) +<b811>[B] (+0) +<b812>[B] (+0) +<b813>[B] (+0) +<b814>[B] (+0) +<b815>[B] (+0) +<b816>[B] (+0) +<b817>[B] (+0) +<b818>[B] (+0) +<b819>[B] (+0) +<b820>[B] (+0) +<b821>[B] (+0) +<b822>[B] (+0) +<b823>[B] (+0) +<b824>[B] (+0) +<b825>[B] (+0) +<b826>[B] (+0) +<b827>[B] (+0) +<b828>[B] (+0) +<b829>[B] (+0) +<b830>[B] (+0) +<b831>[B] (+0) +<b832>[B] (+0) +<b833>[B] (+0) +<b834>[B] (+0) +<b835>[B] (+0) +<b836>[B] (+0) +<b837>[B] (+0) +<b838>[B] (+0) +<b839>[B] (+0) +<b840>[B] (+0) +<b841>[B] (+0) +<b842>[B] (+0) +<b843>[B] (+0) +<b844>[B] (+0) +<b845>[B] (+0) +<b846>[B] (+0) +<b847>[B] (+0) +<b848>[B] (+0) +<b849>[B] (+0) +<b850>[B] (+0) +<b851>[B] (+0) +<b852>[B] (+0) +<b853>[B] (+0) +<b854>[B] (+0) +<b855>[B] (+0) +<b856>[B] (+0) +<b857>[B] (+0) +<b858>[B] (+0) +<b859>[B] (+0) +<b860>[B] (+0) +<b861>[B] (+0) +<b862>[B] (+0) +<b863>[B] (+0) +<b864>[B] (+0) +<b865>[B] (+0) +<b866>[B] (+0) +<b867>[B] (+0) +<b868>[B] (+0) +<b869>[B] (+0) +<b870>[B] (+0) +<b871>[B] (+0) +<b872>[B] (+0) +<b873>[B] (+0) +<b874>[B] (+0) +<b875>[B] (+0) +<b876>[B] (+0) +<b877>[B] (+0) +<b878>[B] (+0) +<b879>[B] (+0) +<b880>[B] (+0) +<b881>[B] (+0) +<b882>[B] (+0) +<b883>[B] (+0) +<b884>[B] (+0) +<b885>[B] (+0) +<b886>[B] (+0) +<b887>[B] (+0) +<b888>[B] (+0) +<b889>[B] (+0) +<b890>[B] (+0) +<b891>[B] (+0) +<b892>[B] (+0) +<b893>[B] (+0) +<b894>[B] (+0) +<b895>[B] (+0) +<b896>[B] (+0) +<b897>[B] (+0) +<b898>[B] (+0) +<b899>[B] (+0) +<b900>[B] (+0) +<b901>[B] (+0) +<b902>[B] (+0) +<b903>[B] (+0) +<b904>[B] (+0) +<b905>[B] (+0) +<b906>[B] (+0) +<b907>[B] (+0) +<b908>[B] (+0) +<b909>[B] (+0) +<b910>[B] (+0) +<b911>[B] (+0) +<b912>[B] (+0) +<b913>[B] (+0) +<b914>[B] (+0) +<b915>[B] (+0) +<b916>[B] (+0) +<b917>[B] (+0) +<b918>[B] (+0) +<b919>[B] (+0) +<b920>[B] (+0) +<b921>[B] (+0) +<b922>[B] (+0) +<b923>[B] (+0) +<b924>[B] (+0) +<b925>[B] (+0) +<b926>[B] (+0) +<b927>[B] (+0) +<b928>[B] (+0) +<b929>[B] (+0) +<b930>[B] (+0) +<b931>[B] (+0) +<b932>[B] (+0) +<b933>[B] (+0) +<b934>[B] (+0) +<b935>[B] (+0) +<b936>[B] (+0) +<b937>[B] (+0) +<b938>[B] (+0) +<b939>[B] (+0) +<b940>[B] (+0) +<b941>[B] (+0) +<b942>[B] (+0) +<b943>[B] (+0) +<b944>[B] (+0) +<b945>[B] (+0) +<b946>[B] (+0) +<b947>[B] (+0) +<b948>[B] (+0) +<b949>[B] (+0) +<b950>[B] (+0) +<b951>[B] (+0) +<b952>[B] (+0) +<b953>[B] (+0) +<b954>[B] (+0) +<b955>[B] (+0) +<b956>[B] (+0) +<b957>[B] (+0) +<b958>[B] (+0) +<b959>[B] (+0) +<b960>[B] (+0) +<b961>[B] (+0) +<b962>[B] (+0) +<b963>[B] (+0) +<b964>[B] (+0) +<b965>[B] (+0) +<b966>[B] (+0) +<b967>[B] (+0) +<b968>[B] (+0) +<b969>[B] (+0) +<b970>[B] (+0) +<b971>[B] (+0) +<b972>[B] (+0) +<b973>[B] (+0) +<b974>[B] (+0) +<b975>[B] (+0) +<b976>[B] (+0) +<b977>[B] (+0) +<b978>[B] (+0) +<b979>[B] (+0) +<b980>[B] (+0) +<b981>[B] (+0) +<b982>[B] (+0) +<b983>[B] (+0) +<b984>[B] (+0) +<b985>[B] (+0) +<b986>[B] (+0) +<b987>[B] (+0) +<b988>[B] (+0) +<b989>[B] (+0) +<b990>[B] (+0) +<b991>[B] (+0) +<b992>[B] (+0) +<b993>[B] (+0) +<b994>[B] (+0) +<b995>[B] (+0) == 88;\n",
      ";\n",
      "violation: left hand side is violated by 88\n",
      "all 1 solutions given by solution candidate storage are infeasible\n",
      "\n",
      "presolving:\n",
      "   (0.0s) running MILP presolver\n",
      "   (0.0s) MILP presolver (3 rounds): 2 aggregations, 0 fixings, 0 bound changes\n",
      "(round 1, medium)     2 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 813 clqs\n",
      "(round 2, exhaustive) 2 del vars, 367 del conss, 0 add conss, 0 chg bounds, 365 chg sides, 0 chg coeffs, 0 upgd conss, 2 impls, 813 clqs\n",
      "(round 3, exhaustive) 2 del vars, 367 del conss, 0 add conss, 0 chg bounds, 365 chg sides, 0 chg coeffs, 2437 upgd conss, 2 impls, 813 clqs\n",
      "   (0.0s) sparsify finished: 986/10504 (9.4%) nonzeros canceled - in total 986 canceled nonzeros, 986 changed coefficients, 0 added nonzeros\n",
      "(round 4, exhaustive) 2 del vars, 367 del conss, 0 add conss, 0 chg bounds, 365 chg sides, 986 chg coeffs, 2437 upgd conss, 1990 impls, 813 clqs\n",
      "   (0.0s) probing cycle finished: starting next cycle\n",
      "   (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)\n",
      "   (0.0s) no symmetry present (symcode time: 0.00)\n",
      "presolving (5 rounds: 5 fast, 5 medium, 4 exhaustive):\n",
      " 2 deleted vars, 368 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 365 changed sides, 986 changed coefficients\n",
      " 32220 implications, 8199 cliques\n",
      "presolved problem has 1990 variables (994 bin, 996 int, 0 impl, 0 cont) and 2618 constraints\n",
      "   1988 constraints of type <varbound>\n",
      "      1 constraints of type <knapsack>\n",
      "    446 constraints of type <setppc>\n",
      "    181 constraints of type <linear>\n",
      "      2 constraints of type <logicor>\n",
      "Presolving Time: 0.00\n",
      "\n",
      " time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. \n",
      "p 0.0s|     1 |     0 |   218 |     - |  clique|   0 |1990 |2618 |2618 |   0 |  0 |   0 |   0 | 1.450952e+03 | 8.244301e+04 |5581.99%| unknown\n",
      "  0.0s|     1 |     0 |  1820 |     - |    30M |   0 |1990 |2650 |2618 |   0 |  0 |  32 |   0 | 5.997224e+04 | 8.244301e+04 |  37.47%| unknown\n",
      "  0.0s|     1 |     0 |  1898 |     - |    32M |   0 |1990 |2650 |2632 |  14 |  1 |  32 |   0 | 6.000904e+04 | 8.244301e+04 |  37.38%| unknown\n",
      "  0.0s|     1 |     0 |  2092 |     - |    36M |   0 |1990 |2650 |2645 |  27 |  2 |  32 |   0 | 6.006064e+04 | 8.244301e+04 |  37.27%| unknown\n",
      "  0.0s|     1 |     0 |  2188 |     - |    41M |   0 |1990 |2651 |2654 |  36 |  3 |  33 |   0 | 6.011102e+04 | 8.244301e+04 |  37.15%| unknown\n",
      "  1.0s|     1 |     0 |  2242 |     - |    47M |   0 |1990 |2651 |2661 |  43 |  4 |  33 |   0 | 6.012525e+04 | 8.244301e+04 |  37.12%| unknown\n",
      "  1.0s|     1 |     0 |  2379 |     - |    53M |   0 |1990 |2651 |2670 |  52 |  5 |  33 |   0 | 6.015909e+04 | 8.244301e+04 |  37.04%| unknown\n",
      "  1.0s|     1 |     0 |  2496 |     - |    60M |   0 |1990 |2651 |2677 |  59 |  6 |  33 |   0 | 6.018594e+04 | 8.244301e+04 |  36.98%| unknown\n",
      "  1.0s|     1 |     0 |  2607 |     - |    60M |   0 |1990 |2651 |2683 |  65 |  7 |  33 |   0 | 6.023466e+04 | 8.244301e+04 |  36.87%| unknown\n",
      "  1.0s|     1 |     0 |  2701 |     - |    64M |   0 |1990 |2651 |2688 |  70 |  8 |  33 |   0 | 6.024891e+04 | 8.244301e+04 |  36.84%| unknown\n",
      "  1.0s|     1 |     0 |  2797 |     - |    64M |   0 |1990 |2651 |2692 |  74 |  9 |  33 |   0 | 6.026417e+04 | 8.244301e+04 |  36.80%| unknown\n",
      "  1.0s|     1 |     0 |  2899 |     - |    75M |   0 |1990 |2651 |2698 |  80 | 10 |  33 |   0 | 6.027370e+04 | 8.244301e+04 |  36.78%| unknown\n",
      "  1.0s|     1 |     0 |  3046 |     - |    75M |   0 |1990 |2652 |2703 |  85 | 11 |  34 |   0 | 6.028577e+04 | 8.244301e+04 |  36.75%| unknown\n",
      "  1.0s|     1 |     0 |  3090 |     - |    76M |   0 |1990 |2652 |2706 |  88 | 12 |  34 |   0 | 6.029149e+04 | 8.244301e+04 |  36.74%| unknown\n",
      "  1.0s|     1 |     0 |  3172 |     - |    76M |   0 |1990 |2652 |2709 |  91 | 13 |  34 |   0 | 6.029768e+04 | 8.244301e+04 |  36.73%| unknown\n",
      " time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. \n",
      "  1.0s|     1 |     0 |  3281 |     - |    76M |   0 |1990 |2652 |2713 |  95 | 14 |  34 |   0 | 6.030301e+04 | 8.244301e+04 |  36.71%| unknown\n",
      "  1.0s|     1 |     0 |  3417 |     - |    77M |   0 |1990 |2652 |2719 | 101 | 15 |  34 |   0 | 6.031340e+04 | 8.244301e+04 |  36.69%| unknown\n",
      "  1.0s|     1 |     0 |  3471 |     - |    77M |   0 |1990 |2652 |2700 | 106 | 16 |  34 |   0 | 6.031430e+04 | 8.244301e+04 |  36.69%| unknown\n",
      "  1.0s|     1 |     0 |  3518 |     - |    78M |   0 |1990 |2652 |2704 | 110 | 17 |  34 |   0 | 6.031477e+04 | 8.244301e+04 |  36.69%| unknown\n",
      "  1.0s|     1 |     0 |  3603 |     - |    78M |   0 |1990 |2652 |2708 | 114 | 18 |  34 |   0 | 6.031699e+04 | 8.244301e+04 |  36.68%| unknown\n",
      "  1.0s|     1 |     0 |  3643 |     - |    78M |   0 |1990 |2653 |2712 | 118 | 19 |  35 |   0 | 6.031790e+04 | 8.244301e+04 |  36.68%| unknown\n",
      "  1.0s|     1 |     0 |  3723 |     - |    79M |   0 |1990 |2653 |2713 | 119 | 20 |  35 |   0 | 6.031998e+04 | 8.244301e+04 |  36.68%| unknown\n",
      "  1.0s|     1 |     0 |  3752 |     - |    79M |   0 |1990 |2653 |2715 | 121 | 21 |  35 |   0 | 6.032001e+04 | 8.244301e+04 |  36.68%| unknown\n",
      "  1.0s|     1 |     0 |  3763 |     - |    79M |   0 |1990 |2653 |2702 | 122 | 22 |  35 |   0 | 6.032006e+04 | 8.244301e+04 |  36.68%| unknown\n",
      "  1.0s|     1 |     0 |  3764 |     - |    79M |   0 |1990 |2653 |2703 | 123 | 23 |  35 |   0 | 6.032006e+04 | 8.244301e+04 |  36.68%| unknown\n",
      "  1.0s|     1 |     0 |  3765 |     - |    79M |   0 |1990 |2653 |2704 | 124 | 24 |  35 |   0 | 6.032007e+04 | 8.244301e+04 |  36.68%| unknown\n",
      "  3.0s|     1 |     2 | 20095 |     - |    79M |   0 |1990 |2661 |2704 | 124 | 25 |  43 |  19 | 6.032708e+04 | 8.244301e+04 |  36.66%| unknown\n",
      "d13.0s|    72 |    73 | 32920 | 413.7 |adaptive|  33 |1990 |2668 |2700 |   0 |  1 |  50 | 778 | 6.032915e+04 | 7.669140e+04 |  27.12%| unknown\n",
      "d13.0s|    91 |    92 | 35156 | 351.2 |fracdivi|  33 |1990 |2667 |2701 |   0 |  1 |  55 | 783 | 6.032915e+04 | 7.612285e+04 |  26.18%| unknown\n",
      " 13.0s|   100 |   101 | 35946 | 327.3 |    87M |  33 |1990 |2667 |2704 | 231 |  2 |  55 | 791 | 6.032915e+04 | 7.612285e+04 |  26.18%| unknown\n",
      " time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. \n",
      "L15.0s|   191 |   188 | 55405 | 272.9 |    gins|  35 |1990 |2680 |2703 | 295 |  1 |  68 | 851 | 6.032915e+04 | 7.202212e+04 |  19.38%| unknown\n",
      "L15.0s|   191 |   188 | 55405 | 272.9 |    gins|  35 |1990 |2680 |2703 | 295 |  1 |  68 | 851 | 6.032915e+04 | 6.700018e+04 |  11.06%| unknown\n",
      "L15.0s|   191 |   186 | 55405 | 272.9 |    gins|  35 |1990 |2680 |2703 | 295 |  1 |  68 | 851 | 6.032915e+04 | 6.617213e+04 |   9.69%| unknown\n",
      " 16.0s|   200 |   195 | 57151 | 269.4 |    87M |  35 |1990 |2692 |2712 | 320 |  1 |  81 | 851 | 6.032915e+04 | 6.617213e+04 |   9.69%| unknown\n",
      " 17.0s|   300 |   293 | 71733 | 228.0 |    89M |  35 |1990 |2694 |2680 | 408 |  1 |  83 | 900 | 6.032915e+04 | 6.617213e+04 |   9.69%| unknown\n",
      "L20.0s|   391 |   384 | 88557 | 218.0 |    rins|  35 |1990 |2696 |2698 | 601 |  1 |  85 | 946 | 6.032915e+04 | 6.430224e+04 |   6.59%| unknown\n",
      " 20.0s|   400 |   393 | 89453 | 215.3 |    92M |  35 |1990 |2696 |2707 | 614 |  2 |  85 | 949 | 6.032915e+04 | 6.430224e+04 |   6.59%| unknown\n",
      "L21.0s|   491 |   469 |104195 | 205.4 |    gins|  35 |1990 |2723 |2713 | 782 |  1 | 112 | 994 | 6.033601e+04 | 6.370747e+04 |   5.59%| unknown\n",
      " 22.0s|   500 |   478 |105021 | 203.4 |    93M |  35 |1990 |2723 |2718 | 787 |  2 | 112 | 996 | 6.033601e+04 | 6.370747e+04 |   5.59%| unknown\n",
      " 24.0s|   600 |   572 |128403 | 208.4 |    95M |  35 |1990 |2761 |2705 | 930 |  1 | 152 |1042 | 6.036352e+04 | 6.370747e+04 |   5.54%| unknown\n",
      "L28.0s|   691 |   656 |162404 | 230.2 |    rins|  35 |1990 |2833 |2732 |1277 |  7 | 225 |1103 | 6.036407e+04 | 6.355215e+04 |   5.28%| unknown\n",
      " 29.0s|   700 |   665 |166671 | 233.4 |    98M |  35 |1990 |2844 |2718 |1322 |  2 | 236 |1106 | 6.036407e+04 | 6.355215e+04 |   5.28%| unknown\n",
      " 33.0s|   800 |   765 |195260 | 239.9 |   103M |  35 |1990 |2879 |2726 |1749 |  2 | 277 |1170 | 6.036919e+04 | 6.355215e+04 |   5.27%| unknown\n",
      "L37.0s|   891 |   843 |223125 | 246.7 |crossove|  35 |1990 |2930 |2726 |2283 |  2 | 332 |1229 | 6.039657e+04 | 6.348725e+04 |   5.12%| unknown\n",
      " 38.0s|   900 |   852 |237869 | 260.6 |   108M |  35 |1990 |2929 |2709 |2283 |  2 | 332 |1233 | 6.039657e+04 | 6.348725e+04 |   5.12%| unknown\n",
      " time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. \n",
      " 42.0s|  1000 |   950 |269396 | 266.1 |   113M |  35 |1990 |3039 |2707 |2763 |  1 | 443 |1297 | 6.040571e+04 | 6.348725e+04 |   5.10%| unknown\n",
      " 48.0s|  1100 |  1046 |302989 | 272.5 |   118M |  35 |1990 |3122 |2701 |3418 |  2 | 532 |1379 | 6.041043e+04 | 6.348725e+04 |   5.09%| unknown\n",
      " 53.0s|  1200 |  1138 |339612 | 280.3 |   122M |  35 |1990 |3219 |2781 |4114 | 12 | 638 |1417 | 6.041801e+04 | 6.348725e+04 |   5.08%| unknown\n",
      " 59.0s|  1300 |  1234 |383774 | 292.7 |   124M |  35 |1990 |3260 |2733 |4766 |  1 | 697 |1444 | 6.042836e+04 | 6.348725e+04 |   5.06%| unknown\n",
      " 64.0s|  1400 |  1334 |423429 | 300.1 |   125M |  35 |1990 |3273 |2709 |5359 |  2 | 734 |1465 | 6.044086e+04 | 6.348725e+04 |   5.04%| unknown\n",
      " 69.0s|  1500 |  1428 |476622 | 315.6 |   126M |  35 |1990 |3398 |2738 |5924 |  1 | 887 |1479 | 6.044289e+04 | 6.348725e+04 |   5.04%| unknown\n",
      " 73.0s|  1600 |  1524 |509442 | 316.4 |   128M |  35 |1990 |3437 |2719 |6543 |  2 | 955 |1497 | 6.044961e+04 | 6.348725e+04 |   5.03%| unknown\n",
      " 79.0s|  1700 |  1622 |564361 | 330.1 |   130M |  37 |1990 |3465 |2724 |7111 |  2 |1022 |1513 | 6.045416e+04 | 6.348725e+04 |   5.02%| unknown\n",
      " 84.0s|  1800 |  1718 |611708 | 338.1 |   130M |  37 |1990 |3474 |2717 |7700 |  1 |1081 |1577 | 6.045788e+04 | 6.348725e+04 |   5.01%| unknown\n",
      " 87.0s|  1900 |  1816 |642957 | 336.7 |   132M |  37 |1990 |3519 |2703 |7860 |  2 |1170 |1617 | 6.045788e+04 | 6.348725e+04 |   5.01%| unknown\n",
      " 91.0s|  2000 |  1890 |675635 | 336.2 |   134M |  41 |1990 |3534 |2706 |8355 |  1 |1255 |1681 | 6.046060e+04 | 6.348725e+04 |   5.01%| unknown\n",
      " 95.0s|  2100 |  1982 |715508 | 339.2 |   135M |  41 |1990 |3503 |2730 |8872 |  2 |1302 |1706 | 6.046060e+04 | 6.348725e+04 |   5.01%| unknown\n",
      " 99.0s|  2200 |  2066 |745687 | 337.5 |   136M |  41 |1990 |3521 |2716 |9210 |  2 |1391 |1741 | 6.046119e+04 | 6.348725e+04 |   5.00%| unknown\n",
      "  105s|  2300 |  2148 |792091 | 343.0 |   137M |  44 |1990 |3551 |2741 |9906 |  2 |1486 |1776 | 6.046724e+04 | 6.348725e+04 |   4.99%| unknown\n",
      "  108s|  2400 |  2186 |815443 | 338.4 |   137M |  44 |1990 |3583 |2751 |  10k|  6 |1558 |1833 | 6.047158e+04 | 6.348725e+04 |   4.99%| unknown\n",
      " time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. \n",
      "  113s|  2500 |  2248 |858543 | 342.1 |   138M |  44 |1990 |3570 |2740 |  10k|  1 |1591 |1866 | 6.047360e+04 | 6.348725e+04 |   4.98%| unknown\n",
      "L 114s|  2514 |  2005 |866740 | 343.5 |    gins|  44 |1990 |3562 |2729 |  10k|  1 |1591 |1869 | 6.047644e+04 | 6.274750e+04 |   3.76%| unknown\n",
      "  119s|  2600 |  2073 |911588 | 349.4 |   141M |  44 |1990 |3533 |2728 |  11k|  2 |1631 |1884 | 6.048194e+04 | 6.274750e+04 |   3.75%| unknown\n",
      "  123s|  2700 |  2147 |942978 | 348.1 |   142M |  44 |1990 |3484 |2741 |  11k|  2 |1697 |1899 | 6.048350e+04 | 6.274750e+04 |   3.74%| unknown\n",
      "  124s|  2800 |  2207 |954527 | 339.8 |   142M |  44 |1990 |3537 |2716 |  11k|  1 |1832 |1913 | 6.048350e+04 | 6.274750e+04 |   3.74%| unknown\n",
      "  126s|  2900 |  2271 |973234 | 334.5 |   143M |  44 |1990 |3554 |2724 |  12k|  2 |1935 |1933 | 6.048382e+04 | 6.274750e+04 |   3.74%| unknown\n",
      "  128s|  3000 |  2329 |987778 | 328.2 |   144M |  44 |1990 |3598 |2730 |  12k|  2 |2070 |1948 | 6.048478e+04 | 6.274750e+04 |   3.74%| unknown\n",
      "  130s|  3100 |  2389 |  1008k| 324.3 |   144M |  44 |1990 |3533 |2732 |  12k|  2 |2123 |1965 | 6.048811e+04 | 6.274750e+04 |   3.74%| unknown\n",
      "  134s|  3200 |  2435 |  1034k| 322.4 |   145M |  44 |1990 |3457 |   0 |  13k|  0 |2161 |1978 | 6.049311e+04 | 6.274750e+04 |   3.73%| unknown\n",
      "  138s|  3300 |  2475 |  1061k| 320.6 |   149M |  44 |1990 |3428 |2722 |  13k|  2 |2228 |2023 | 6.049558e+04 | 6.274750e+04 |   3.72%| unknown\n",
      "  142s|  3400 |  2541 |  1089k| 319.3 |   152M |  44 |1990 |3398 |2720 |  14k|  3 |2312 |2065 | 6.049657e+04 | 6.274750e+04 |   3.72%| unknown\n",
      "  146s|  3500 |  2610 |  1123k| 320.1 |   153M |  44 |1990 |3361 |2743 |  14k|  9 |2403 |2100 | 6.050015e+04 | 6.274750e+04 |   3.71%| unknown\n",
      "L 148s|  3528 |  2621 |  1133k| 320.3 |crossove|  44 |1990 |3328 |2713 |  14k|  1 |2419 |2115 | 6.050192e+04 | 6.273482e+04 |   3.69%| unknown\n",
      "  152s|  3600 |  2675 |  1172k| 324.7 |   153M |  44 |1990 |3292 |2714 |  15k|  2 |2467 |2168 | 6.050236e+04 | 6.273482e+04 |   3.69%| unknown\n",
      "  155s|  3700 |  2726 |  1196k| 322.5 |   154M |  44 |1990 |3267 |2735 |  15k|  1 |2541 |2206 | 6.050502e+04 | 6.273482e+04 |   3.69%| unknown\n",
      " time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. \n",
      "  158s|  3800 |  2766 |  1218k| 319.8 |   155M |  44 |1990 |3257 |   0 |  15k|  0 |2607 |2255 | 6.050736e+04 | 6.273482e+04 |   3.68%| unknown\n",
      "  160s|  3900 |  2808 |  1235k| 315.9 |   156M |  44 |1990 |3262 |2750 |  16k|  2 |2704 |2275 | 6.050976e+04 | 6.273482e+04 |   3.68%| unknown\n",
      "  163s|  4000 |  2870 |  1260k| 314.3 |   157M |  44 |1990 |3224 |2730 |  16k|  2 |2799 |2301 | 6.050977e+04 | 6.273482e+04 |   3.68%| unknown\n",
      "  165s|  4100 |  2914 |  1278k| 311.0 |   158M |  44 |1990 |3230 |2717 |  17k|  2 |2904 |2336 | 6.050977e+04 | 6.273482e+04 |   3.68%| unknown\n",
      "  168s|  4200 |  2954 |  1299k| 308.6 |   159M |  44 |1990 |3147 |2738 |  17k|  2 |2971 |2356 | 6.050977e+04 | 6.273482e+04 |   3.68%| unknown\n",
      "  173s|  4300 |  3008 |  1351k| 313.5 |   159M |  44 |1990 |3097 |2710 |  18k|  2 |3025 |2377 | 6.051376e+04 | 6.273482e+04 |   3.67%| unknown\n",
      "  176s|  4400 |  3035 |  1371k| 310.9 |   160M |  44 |1990 |3141 |2764 |  18k|  2 |3116 |2396 | 6.051787e+04 | 6.273482e+04 |   3.66%| unknown\n",
      "\n",
      "SCIP Status        : solving was interrupted [time limit reached]\n",
      "Solving Time (sec) : 180.00\n",
      "Solving Nodes      : 4493\n",
      "Primal Bound       : +6.27348181165685e+04 (28 solutions)\n",
      "Dual Bound         : +6.05215004916549e+04\n",
      "Gap                : 3.66 %\n"
     ]
    },
    {
     "data": {
      "text/plain": [
       "SolutionInfo(runtime=<pyomo.opt.results.container.UndefinedData object at 0x00000221BD036420>, bound=60521.5004916549, objective=62734.8181165685, relgap=0.03528052987738006, termination='maxTimeLimit')"
      ]
     },
     "execution_count": 9,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "solver.solve(\n",
    "    mip_gap=0.005,\n",
    "    time_limit=180,\n",
    "    verbose=True,\n",
    ")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "id": "a62ff748-f1d4-49cc-85a7-b999a87a7839",
   "metadata": {},
   "outputs": [],
   "source": [
    "S, G = solver.get_solution()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "id": "1ff2c18a-5372-4b67-a57b-12f5a2854cb9",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": [
       "<svg xmlns=\"http://www.w3.org/2000/svg\" viewBox=\"0 0 1920 787\"><defs><circle stroke=\"none\" stroke-width=\"2\" id=\"wtg\" r=\"12\"/><rect stroke=\"#111\" stroke-width=\"2\" id=\"oss\" width=\"21\" height=\"21\" fill=\"lawngreen\"/><filter x=\"-5%\" y=\"-5%\" id=\"bg_textbox\" width=\"110%\" height=\"110%\"><feFlood flood-opacity=\"0.6\" flood-color=\"black\" result=\"bg\"/><feMerge><feMergeNode in=\"bg\"/><feMergeNode in=\"SourceGraphic\"/></feMerge></filter></defs><g id=\"sheringham\"><path stroke=\"silver\" stroke-dasharray=\"15 7\" stroke-width=\"2\" id=\"border\" d=\"M709 757 30 31 1209 30 1890 757z\" fill-rule=\"evenodd\" fill=\"#111\"/><g stroke=\"crimson\" stroke-width=\"4\" id=\"edges_unspecified\"><line x1=\"1068\" y1=\"145\" x2=\"1088\" y2=\"46\"/><line x1=\"1181\" y1=\"145\" x2=\"1295\" y2=\"145\"/><line x1=\"1181\" y1=\"145\" x2=\"1202\" y2=\"46\"/><line x1=\"1160\" y1=\"245\" x2=\"1181\" y2=\"145\"/><line x1=\"727\" y1=\"146\" x2=\"748\" y2=\"46\"/><line x1=\"706\" y1=\"245\" x2=\"727\" y2=\"146\"/><line x1=\"820\" y1=\"245\" x2=\"840\" y2=\"146\"/><line x1=\"840\" y1=\"146\" x2=\"861\" y2=\"46\"/><line x1=\"1047\" y1=\"245\" x2=\"1068\" y2=\"145\"/><line x1=\"1026\" y1=\"344\" x2=\"1047\" y2=\"245\"/><line x1=\"500\" y1=\"146\" x2=\"520\" y2=\"47\"/><line x1=\"500\" y1=\"146\" x2=\"613\" y2=\"146\"/><line x1=\"407\" y1=\"47\" x2=\"520\" y2=\"47\"/><line x1=\"1005\" y1=\"443\" x2=\"1026\" y2=\"344\"/><line x1=\"985\" y1=\"543\" x2=\"1098\" y2=\"542\"/><line x1=\"1098\" y1=\"542\" x2=\"1119\" y2=\"443\"/><line x1=\"799\" y1=\"344\" x2=\"913\" y2=\"344\"/><line x1=\"685\" y1=\"344\" x2=\"799\" y2=\"344\"/><line x1=\"458\" y1=\"344\" x2=\"479\" y2=\"245\"/><line x1=\"643\" y1=\"360\" x2=\"593\" y2=\"245\"/><line x1=\"593\" y1=\"245\" x2=\"613\" y2=\"146\"/><line x1=\"1274\" y1=\"245\" x2=\"1295\" y2=\"145\"/><line x1=\"66\" y1=\"47\" x2=\"180\" y2=\"47\"/><line x1=\"159\" y1=\"146\" x2=\"180\" y2=\"47\"/><line x1=\"180\" y1=\"47\" x2=\"293\" y2=\"47\"/><line x1=\"273\" y1=\"146\" x2=\"386\" y2=\"146\"/><line x1=\"273\" y1=\"146\" x2=\"293\" y2=\"47\"/><line x1=\"716\" y1=\"741\" x2=\"737\" y2=\"642\"/><line x1=\"737\" y1=\"642\" x2=\"758\" y2=\"543\"/><line x1=\"623\" y1=\"642\" x2=\"737\" y2=\"642\"/><line x1=\"830\" y1=\"741\" x2=\"850\" y2=\"642\"/><line x1=\"850\" y1=\"642\" x2=\"871\" y2=\"543\"/><line x1=\"1057\" y1=\"741\" x2=\"1077\" y2=\"642\"/><line x1=\"1057\" y1=\"741\" x2=\"1170\" y2=\"741\"/><line x1=\"613\" y1=\"146\" x2=\"634\" y2=\"47\"/><line x1=\"643\" y1=\"360\" x2=\"386\" y2=\"146\"/><line x1=\"1253\" y1=\"344\" x2=\"1274\" y2=\"245\"/><line x1=\"1367\" y1=\"344\" x2=\"1388\" y2=\"244\"/><line x1=\"1346\" y1=\"443\" x2=\"1367\" y2=\"344\"/><line x1=\"1346\" y1=\"443\" x2=\"1460\" y2=\"443\"/><line x1=\"1292\" y1=\"428\" x2=\"1346\" y2=\"443\"/><line x1=\"643\" y1=\"360\" x2=\"685\" y2=\"344\"/><line x1=\"643\" y1=\"360\" x2=\"706\" y2=\"245\"/><line x1=\"943\" y1=\"741\" x2=\"964\" y2=\"642\"/><line x1=\"458\" y1=\"344\" x2=\"572\" y2=\"344\"/><line x1=\"643\" y1=\"360\" x2=\"572\" y2=\"344\"/><line x1=\"1284\" y1=\"741\" x2=\"1397\" y2=\"741\"/><line x1=\"1284\" y1=\"741\" x2=\"1305\" y2=\"642\"/><line x1=\"913\" y1=\"344\" x2=\"933\" y2=\"245\"/><line x1=\"933\" y1=\"245\" x2=\"954\" y2=\"146\"/><line x1=\"1026\" y1=\"344\" x2=\"1140\" y2=\"344\"/><line x1=\"1292\" y1=\"428\" x2=\"1140\" y2=\"344\"/><line x1=\"530\" y1=\"543\" x2=\"551\" y2=\"444\"/><line x1=\"438\" y1=\"444\" x2=\"551\" y2=\"444\"/><line x1=\"643\" y1=\"360\" x2=\"551\" y2=\"444\"/><line x1=\"345\" y1=\"344\" x2=\"365\" y2=\"245\"/><line x1=\"252\" y1=\"245\" x2=\"365\" y2=\"245\"/><line x1=\"748\" y1=\"46\" x2=\"861\" y2=\"46\"/><line x1=\"1170\" y1=\"741\" x2=\"1191\" y2=\"642\"/><line x1=\"1191\" y1=\"642\" x2=\"1212\" y2=\"542\"/><line x1=\"1460\" y1=\"443\" x2=\"1480\" y2=\"344\"/><line x1=\"623\" y1=\"642\" x2=\"644\" y2=\"543\"/><line x1=\"644\" y1=\"543\" x2=\"665\" y2=\"444\"/><line x1=\"1511\" y1=\"741\" x2=\"1625\" y2=\"741\"/><line x1=\"1625\" y1=\"741\" x2=\"1645\" y2=\"641\"/><line x1=\"1738\" y1=\"741\" x2=\"1852\" y2=\"740\"/><line x1=\"1738\" y1=\"741\" x2=\"1759\" y2=\"641\"/><line x1=\"1511\" y1=\"741\" x2=\"1532\" y2=\"641\"/><line x1=\"1418\" y1=\"642\" x2=\"1532\" y2=\"641\"/><line x1=\"1552\" y1=\"542\" x2=\"1666\" y2=\"542\"/><line x1=\"1439\" y1=\"542\" x2=\"1552\" y2=\"542\"/><line x1=\"643\" y1=\"360\" x2=\"665\" y2=\"444\"/><line x1=\"871\" y1=\"543\" x2=\"892\" y2=\"443\"/><line x1=\"778\" y1=\"443\" x2=\"892\" y2=\"443\"/><line x1=\"964\" y1=\"642\" x2=\"985\" y2=\"543\"/><line x1=\"1666\" y1=\"542\" x2=\"1759\" y2=\"641\"/><line x1=\"954\" y1=\"146\" x2=\"975\" y2=\"46\"/><line x1=\"1460\" y1=\"443\" x2=\"1573\" y2=\"443\"/><line x1=\"1292\" y1=\"428\" x2=\"1212\" y2=\"542\"/><line x1=\"1292\" y1=\"428\" x2=\"1418\" y2=\"642\"/><line x1=\"1292\" y1=\"428\" x2=\"1439\" y2=\"542\"/><line x1=\"1292\" y1=\"428\" x2=\"1233\" y2=\"443\"/><line x1=\"1292\" y1=\"428\" x2=\"1325\" y2=\"542\"/><line x1=\"1292\" y1=\"428\" x2=\"1253\" y2=\"344\"/><line x1=\"345\" y1=\"344\" x2=\"458\" y2=\"344\"/><line x1=\"1305\" y1=\"642\" x2=\"1325\" y2=\"542\"/><line x1=\"1119\" y1=\"443\" x2=\"1233\" y2=\"443\"/><line x1=\"643\" y1=\"360\" x2=\"778\" y2=\"443\"/></g><g id=\"WTGgrp\"><g fill=\"#c5b0d5\"><use href=\"#wtg\" x=\"1088\" y=\"46\"/><use href=\"#wtg\" x=\"1047\" y=\"245\"/><use href=\"#wtg\" x=\"1068\" y=\"145\"/><use href=\"#wtg\" x=\"1005\" y=\"443\"/><use href=\"#wtg\" x=\"1140\" y=\"344\"/><use href=\"#wtg\" x=\"1026\" y=\"344\"/></g><g fill=\"#f7b6d2\"><use href=\"#wtg\" x=\"1181\" y=\"145\"/><use href=\"#wtg\" x=\"1295\" y=\"145\"/><use href=\"#wtg\" x=\"1274\" y=\"245\"/><use href=\"#wtg\" x=\"1160\" y=\"245\"/><use href=\"#wtg\" x=\"1202\" y=\"46\"/><use href=\"#wtg\" x=\"1253\" y=\"344\"/></g><g fill=\"#ff9896\"><use href=\"#wtg\" x=\"727\" y=\"146\"/><use href=\"#wtg\" x=\"840\" y=\"146\"/><use href=\"#wtg\" x=\"820\" y=\"245\"/><use href=\"#wtg\" x=\"706\" y=\"245\"/><use href=\"#wtg\" x=\"748\" y=\"46\"/><use href=\"#wtg\" x=\"861\" y=\"46\"/></g><g fill=\"#2ca02c\"><use href=\"#wtg\" x=\"500\" y=\"146\"/><use href=\"#wtg\" x=\"520\" y=\"47\"/><use href=\"#wtg\" x=\"593\" y=\"245\"/><use href=\"#wtg\" x=\"634\" y=\"47\"/><use href=\"#wtg\" x=\"613\" y=\"146\"/><use href=\"#wtg\" x=\"407\" y=\"47\"/></g><g fill=\"#8c564b\"><use href=\"#wtg\" x=\"1098\" y=\"542\"/><use href=\"#wtg\" x=\"943\" y=\"741\"/><use href=\"#wtg\" x=\"964\" y=\"642\"/><use href=\"#wtg\" x=\"1119\" y=\"443\"/><use href=\"#wtg\" x=\"1233\" y=\"443\"/><use href=\"#wtg\" x=\"985\" y=\"543\"/></g><g fill=\"#98df8a\"><use href=\"#wtg\" x=\"799\" y=\"344\"/><use href=\"#wtg\" x=\"685\" y=\"344\"/><use href=\"#wtg\" x=\"933\" y=\"245\"/><use href=\"#wtg\" x=\"913\" y=\"344\"/><use href=\"#wtg\" x=\"954\" y=\"146\"/><use href=\"#wtg\" x=\"975\" y=\"46\"/></g><g fill=\"#ff7f0e\"><use href=\"#wtg\" x=\"479\" y=\"245\"/><use href=\"#wtg\" x=\"572\" y=\"344\"/><use href=\"#wtg\" x=\"365\" y=\"245\"/><use href=\"#wtg\" x=\"345\" y=\"344\"/><use href=\"#wtg\" x=\"458\" y=\"344\"/><use href=\"#wtg\" x=\"252\" y=\"245\"/></g><g fill=\"#aec7e8\"><use href=\"#wtg\" x=\"180\" y=\"47\"/><use href=\"#wtg\" x=\"273\" y=\"146\"/><use href=\"#wtg\" x=\"386\" y=\"146\"/><use href=\"#wtg\" x=\"159\" y=\"146\"/><use href=\"#wtg\" x=\"293\" y=\"47\"/><use href=\"#wtg\" x=\"66\" y=\"47\"/></g><g fill=\"#ffbb78\"><use href=\"#wtg\" x=\"737\" y=\"642\"/><use href=\"#wtg\" x=\"623\" y=\"642\"/><use href=\"#wtg\" x=\"644\" y=\"543\"/><use href=\"#wtg\" x=\"665\" y=\"444\"/><use href=\"#wtg\" x=\"758\" y=\"543\"/><use href=\"#wtg\" x=\"716\" y=\"741\"/></g><g fill=\"#d62728\"><use href=\"#wtg\" x=\"850\" y=\"642\"/><use href=\"#wtg\" x=\"830\" y=\"741\"/><use href=\"#wtg\" x=\"871\" y=\"543\"/><use href=\"#wtg\" x=\"892\" y=\"443\"/><use href=\"#wtg\" x=\"778\" y=\"443\"/></g><g fill=\"#9467bd\"><use href=\"#wtg\" x=\"1057\" y=\"741\"/><use href=\"#wtg\" x=\"1077\" y=\"642\"/><use href=\"#wtg\" x=\"1191\" y=\"642\"/><use href=\"#wtg\" x=\"1170\" y=\"741\"/><use href=\"#wtg\" x=\"1212\" y=\"542\"/></g><g fill=\"#7f7f7f\"><use href=\"#wtg\" x=\"1388\" y=\"244\"/><use href=\"#wtg\" x=\"1346\" y=\"443\"/><use href=\"#wtg\" x=\"1367\" y=\"344\"/><use href=\"#wtg\" x=\"1480\" y=\"344\"/><use href=\"#wtg\" x=\"1460\" y=\"443\"/><use href=\"#wtg\" x=\"1573\" y=\"443\"/></g><g fill=\"#c49c94\"><use href=\"#wtg\" x=\"1284\" y=\"741\"/><use href=\"#wtg\" x=\"1397\" y=\"741\"/><use href=\"#wtg\" x=\"1305\" y=\"642\"/><use href=\"#wtg\" x=\"1325\" y=\"542\"/></g><g fill=\"#1f77b4\"><use href=\"#wtg\" x=\"530\" y=\"543\"/><use href=\"#wtg\" x=\"551\" y=\"444\"/><use href=\"#wtg\" x=\"438\" y=\"444\"/></g><g fill=\"#e377c2\"><use href=\"#wtg\" x=\"1625\" y=\"741\"/><use href=\"#wtg\" x=\"1532\" y=\"641\"/><use href=\"#wtg\" x=\"1418\" y=\"642\"/><use href=\"#wtg\" x=\"1511\" y=\"741\"/><use href=\"#wtg\" x=\"1645\" y=\"641\"/></g><g fill=\"#c7c7c7\"><use href=\"#wtg\" x=\"1738\" y=\"741\"/><use href=\"#wtg\" x=\"1552\" y=\"542\"/><use href=\"#wtg\" x=\"1666\" y=\"542\"/><use href=\"#wtg\" x=\"1759\" y=\"641\"/><use href=\"#wtg\" x=\"1439\" y=\"542\"/><use href=\"#wtg\" x=\"1852\" y=\"740\"/></g></g><g id=\"OSSgrp\"><use href=\"#oss\" x=\"632.5\" y=\"349.5\"/><use href=\"#oss\" x=\"1281.5\" y=\"417.5\"/></g></g><text filter=\"url(#bg_textbox)\" text-anchor=\"end\" font-family=\"sans-serif\" font-size=\"40\" fill=\"white\" x=\"1890\" y=\"757\"><tspan x=\"1890\" dy=\"-0.0em\">&#931;&#955; = 62735.0 m</tspan><tspan x=\"1890\" dy=\"-1.3em\">(+1) &#945;: 8, &#946;: 8</tspan><tspan x=\"1890\" dy=\"-1.3em\">&#954; = 6, T = 88</tspan></text></svg>"
      ],
      "text/plain": [
       "<optiwindnet.svg.SvgRepr at 0x221c02666c0>"
      ]
     },
     "execution_count": 11,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "svgplot(G)"
   ]
  }
 ],
 "metadata": {
  "language_info": {
   "name": "python"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 5
}