Code/03_CP.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Load data\n",
    "\n",
    "Choose that dataset to load. We have prepared 2 different datasets, downloaded and converted from the competition:\n",
    "* wbg-fal10: dataset_01 ([ITC2019 description](https://www.itc2019.org/instances/status/5b59b12884ed6a262b1ce9d3))\n",
    "* pu-cs-fal07: dataset_04 ([ITC2019 description](https://www.itc2019.org/instances/status/5b59ebf984ed6a262b1ce9dc))\n",
    "\n",
    "Choose between datasets by adjusting the command `import dataset_0x as dataset`"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "from docplex.cp.model import CpoModel\n",
    "import time\n",
    "import dataset_01 as dataset\n",
    "\n",
    "rooms = dataset.rooms\n",
    "courses = dataset.courses\n",
    "students = dataset.students\n",
    "constraints = dataset.constraints"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "List of supporting tables:\n",
    "* `classes`: 150 classes with details\n",
    "* `classes_id`: ids from 1 to 150\n",
    "* `rooms_id`: ids from 1 to 7\n",
    "* `students_id`: ids from 1 to 19\n",
    "* `student_subparts`: pairs of 1 student & 1 subpart that he/she must attend (the subpart is a list of classes_id)\n",
    "* `student_classes`: pairs of 1 student & the list of all classes that he/she might attend (flattened from above subpart) -> 19 pairs"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [],
   "source": [
    "rooms_id = [r['id'] for r in rooms]\n",
    "students_id = [s['id'] for s in students]\n",
    "\n",
    "# class-time pairs\n",
    "classes = []\n",
    "for course in courses:\n",
    "    for subpart in course['subpart']:\n",
    "        for c in subpart['class']:\n",
    "            c['sbp_id'] = subpart['id']\n",
    "            classes.append(c)\n",
    "classes_id = [c['id'] for c in classes]\n",
    "\n",
    "# student-subpart pairs\n",
    "student_subparts = []\n",
    "for s in students_id:\n",
    "    for i in students[s-1]['course']:\n",
    "        for subpart in courses[i-1]['subpart']:\n",
    "            student_subparts.append([s,[c['id'] for c in subpart['class']]]) \n",
    "\n",
    "# student-classes pairs\n",
    "student_classes = []\n",
    "for s in students_id:\n",
    "    student_classes.append([s, []])\n",
    "    class_list = student_classes[-1][1]\n",
    "    for i in students[s-1]['course']:\n",
    "        for subpart in courses[i-1]['subpart']:\n",
    "            for c in subpart['class']:\n",
    "                class_list.append(c['id'])\n",
    "\n",
    "# pairs of classes with SameAttendee constraint\n",
    "SA_pairs=[]\n",
    "for ct in constraints:\n",
    "    if ct['type']=='SameAttendees':\n",
    "        for i1 in range(len(ct['class'])):\n",
    "            for i2 in range(i1+1, len(ct['class'])):\n",
    "                c1, c2 = ct['class'][i1], ct['class'][i2]\n",
    "                SA_pairs.append((c1,c2))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### support functions:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [],
   "source": [
    "def clash(time1, time2):\n",
    "    clash_days = bool(sum([int(a) & int(b) for a,b in zip(time1['days'], time2['days'])]))\n",
    "    clash_weeks = bool(sum([int(a) & int(b) for a,b in zip(time1['weeks'], time2['weeks'])]))\n",
    "    clash_time1 = time1['start'] < time2['start'] + time2['length']\n",
    "    clash_time2 = time1['start'] + time1['length'] > time2['start']\n",
    "    return clash_days and clash_weeks and clash_time1 and clash_time2"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Modeling"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Decision Variables"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [],
   "source": [
    "m = CpoModel('model1')\n",
    "\n",
    "x = m.integer_var_list(len(classes_id), name='x')\n",
    "y = m.integer_var_list(len(classes_id), name='y')\n",
    "z = m.integer_var_dict([(s,sbp['id']) for s in students_id \n",
    "                        for i in students[s-1]['course'] \n",
    "                        for sbp in courses[i-1]['subpart']], \n",
    "                       name='z')\n",
    "\n",
    "for c in classes_id:\n",
    "    x[c-1].set_domain([i for i in range(0, len(classes[c-1]['time']))])\n",
    "    y[c-1].set_domain([i for i in range(0, len(classes[c-1]['room']))])\n",
    "\n",
    "for s in students_id:\n",
    "    for i in students[s-1]['course']:\n",
    "        for sbp in courses[i-1]['subpart']:\n",
    "            z[s,sbp['id']].set_domain([c['id'] for c in sbp['class']])"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "* penalty variables are declared to serve the purpose of setting up objective only (they are directly derived from x,y variables)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [],
   "source": [
    "# penalty variables for computing objective\n",
    "pr = m.integer_var_list(len(classes_id), name='pr')\n",
    "pt = m.integer_var_list(len(classes_id), name='pt')\n",
    "for c in classes_id:\n",
    "    pr[c-1].set_domain(set([croom['penalty'] for croom in classes[c-1]['room']]))\n",
    "    pt[c-1].set_domain(set([ctime['penalty'] for ctime in classes[c-1]['time']]))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Objective functions\n",
    "(skip if only search for feasible solution)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "<docplex.cp.expression.CpoFunctionCall at 0x244246ce2d0>"
      ]
     },
     "execution_count": 6,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "room_penalty = m.sum(pr)\n",
    "time_penalty = m.sum(pt)\n",
    "m.minimize(room_penalty + time_penalty)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Constraints"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [],
   "source": [
    "# (Implied within CP variables)\n",
    "# Every class must be assigned a time\n",
    "# Every class must be assigned a room, where applicable\n",
    "# Every student must attend exactly one class for each subpart that he/she must attend   \n",
    "\n",
    "# Constraint to define penalty variables\n",
    "for c in classes_id:\n",
    "    for r in range(len(classes[c-1]['room'])):\n",
    "        m.add(m.if_then(y[c-1] == r, pr[c-1] == classes[c-1]['room'][r]['penalty']))\n",
    "        \n",
    "for c in classes_id:\n",
    "    for t in range(len(classes[c-1]['time'])):\n",
    "        m.add(m.if_then(x[c-1] == t, pt[c-1] == classes[c-1]['time'][t]['penalty']))\n",
    "\n",
    "# For two classes with a parent-child relationship, if a class is assigned to a student\n",
    "# then the parent class must also be assigned\n",
    "for s, subpart in student_subparts:\n",
    "    for c in subpart:\n",
    "        if classes[c-1].get('parent', 0):\n",
    "            parent = classes[c-1]['parent']\n",
    "            m.add(m.if_then(z[s,classes[c-1]['sbp_id']] == c, \n",
    "                            z[s, classes[parent-1]['sbp_id']] == parent))\n",
    "\n",
    "# The capacity of each class in terms of the number of students must be satisfed\n",
    "for c in classes_id:\n",
    "    m.add(m.count([z[i] for i in z], c) <= classes[c-1]['limit'])\n",
    "    \n",
    "# A room cannot be used when it is unavailable\n",
    "# there are no clashes in this test set\n",
    "for c in classes_id:\n",
    "    for t in range(len(classes[c-1]['time'])):\n",
    "        for r in range(len(classes[c-1]['room'])):\n",
    "            ctime = classes[c-1]['time'][t]\n",
    "            room = rooms[classes[c-1]['room'][r]['id'] - 1]\n",
    "            penalty = classes[c-1]['room'][r]['penalty']\n",
    "            for room_uat in room['unavailable']:\n",
    "                if clash(ctime, room_uat):\n",
    "                    m.add(m.if_then(x[c-1] == t, y[c-1] != r))\n",
    "                    \n",
    "# Any hard distribution constraints must be satisfied\n",
    "# in this instance refers to the same attendee requirement\n",
    "for c1, c2 in SA_pairs:\n",
    "    for t1 in range(len(classes[c1-1]['time'])):\n",
    "        for t2 in range(len(classes[c2-1]['time'])):\n",
    "            time1=classes[c1-1]['time'][t1]\n",
    "            time2=classes[c2-1]['time'][t2]\n",
    "            if clash(time1, time2):\n",
    "                m.add(m.if_then(x[c1-1] == t1, x[c2-1] != t2))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "* Two class cannot be at the same time and in the same room (H8) (~3 minutes)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [],
   "source": [
    "# Two class cannot be at the same time and in the same room\n",
    "# Long time to run\n",
    "for i1 in range(len(classes_id)):\n",
    "    for i2 in range(i1+1, len(classes_id)):\n",
    "        c1, c2 = classes_id[i1], classes_id[i2]\n",
    "            \n",
    "        for t1 in range(len(classes[c1-1]['time'])):\n",
    "            for t2 in range(len(classes[c2-1]['time'])):\n",
    "                time1=classes[c1-1]['time'][t1]\n",
    "                time2=classes[c2-1]['time'][t2]\n",
    "                if clash(time1, time2):\n",
    "\n",
    "                    for r1 in range(len(classes[c1-1]['room'])):\n",
    "                        for r2 in range(len(classes[c2-1]['room'])):\n",
    "                            r1_id=classes[c1-1]['room'][r1]['id']\n",
    "                            r2_id=classes[c2-1]['room'][r2]['id']\n",
    "                            if r1_id==r2_id:\n",
    "                                m.add(m.if_then(m.logical_and(m.logical_and(x[c1-1]==t1, x[c2-1]==t2), y[c1-1]==r1), \n",
    "                                                y[c2-1]!=r2))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "IntegerVars: 799, IntervalVars: 0, Constraints: 606301, Exprs: 606301, Nodes: 6579992, Ops: 9\n"
     ]
    }
   ],
   "source": [
    "print(m.get_statistics())"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### support functions:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [],
   "source": [
    "def check_solution(sol):\n",
    "    print('---no output if all constraints passed---')\n",
    "    \n",
    "    # (4) check parent-child relationship\n",
    "    for s in students_id:\n",
    "        for i in students[s-1]['course']:\n",
    "            sbp_id = courses[i-1]['subpart'][0]['id']\n",
    "            ctaken = sol[z[s, sbp_id]]\n",
    "            if classes[ctaken-1].get('parent', 0):\n",
    "                cparent = classes[ctaken-1]['parent']\n",
    "                sbp_parent = classes[cparent-1]['sbp_id']\n",
    "                if z[s, sbp_parent] != cparent:\n",
    "                    print('Constraint (4) violated!')\n",
    "                    break\n",
    "\n",
    "    # (5) check class limit\n",
    "    for c in classes_id:\n",
    "        if len([i for i in z if sol[z[i]]==c]) > classes[c-1]['limit']:\n",
    "            print('Constraint (5) violated!')\n",
    "            break\n",
    "        \n",
    "    # (6) check room unavailable time\n",
    "    for c in classes_id:\n",
    "        ctime = classes[c-1]['time'][sol[x[c-1]]]\n",
    "        room_id = classes[c-1]['room'][sol[y[c-1]]]['id']\n",
    "        for room_uat in rooms[room_id-1]['unavailable']:\n",
    "            if clash(ctime, room_uat):\n",
    "                print('Constraint (6) violated!')\n",
    "                break\n",
    "            \n",
    "    # (7) check SameAttendees\n",
    "    for c1, c2 in SA_pairs:\n",
    "        time1 = classes[c1-1]['time'][sol[x[c1-1]]]\n",
    "        time2 = classes[c2-1]['time'][sol[x[c2-1]]]\n",
    "        if clash(time1, time2):\n",
    "            print('Constraint (7) violated!')\n",
    "            break                          \n",
    "\n",
    "    # (8) check if 2 classes clash room-time constraint\n",
    "    for i1 in range(len(classes_id)):\n",
    "        for i2 in range(i1+1, len(classes_id)):\n",
    "            c1, c2 = classes_id[i1], classes_id[i2]\n",
    "            time1 = classes[c1-1]['time'][sol[x[c1-1]]]\n",
    "            time2 = classes[c2-1]['time'][sol[x[c2-1]]]\n",
    "            room1 = classes[c1-1]['room'][sol[y[c1-1]]]['id']\n",
    "            room2 = classes[c2-1]['room'][sol[y[c2-1]]]['id']\n",
    "            # print out details if there is a constraint violation:\n",
    "            if clash(time1, time2) and room1==room2:\n",
    "                print('Constraint (8) violated!')\n",
    "                break"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Solver"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      " ! --------------------------------------------------- CP Optimizer 20.1.0.0 --\n",
      " ! Minimization problem - 799 variables, 606300 constraints\n",
      " ! Presolve      : 139 extractables eliminated, 1 constraint generated\n",
      " ! TimeLimit            = 1000\n",
      " ! Initial process time : 17.02s (16.98s extraction + 0.04s propagation)\n",
      " !  . Log search space  : 1452.8 (before), 1452.8 (after)\n",
      " !  . Memory usage      : 242.4 MB (before), 242.4 MB (after)\n",
      " ! Using parallel search with 8 workers.\n",
      " ! ----------------------------------------------------------------------------\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                        0        799                 -\n",
      " + New bound is 0\n",
      "                     1000        130    1   F     3 != x_97\n",
      "                     1000        135    2   F     1  = x_79\n",
      "                     1000         62    3        16 != x_130\n",
      "                     1000         35    4         1  = x_82\n",
      "                     1000         62    5        16 != x_130\n",
      "                     1000         48    6        37 != x_4\n",
      "                     1000         64    7        17  = z_155\n",
      "                     1000        163    8   F     4  = pr_133\n",
      "                     2000         53    1   F     7 != x_96\n",
      "                     2000         40    2   F     1  = x_80\n",
      "                     2000        171    3   F     4 != x_97\n",
      "                     2000        183    4       110  = z_78\n",
      "                     2000        171    5   F     4 != x_97\n",
      "                     2000         35    6         7 != x_23\n",
      "                     2000        141    8         3 != y_82\n",
      "                     3000        330    1         2  = y_14\n",
      "                     3000        263    2        31 != x_52\n",
      "                     3000         65    4         2  = y_85\n",
      "                     2000         47    7        42  = x_41\n",
      " ! Time = 57.20s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     3000        141    8         0  = x_1\n",
      "                     4000         37    1        23  = z_129\n",
      "                     4000         46    2   F     0 != x_58\n",
      "                     3000        184    3        37  = z_47\n",
      "                     4000         54    4   F     5  = x_84\n",
      "                     3000        184    5        37  = z_47\n",
      "                     3000         45    6         3 != x_82\n",
      "                     3000         53    7         9 != x_44\n",
      "                     5000         33    1         4 != pr_9\n",
      "                     5000         42    2         4 != pr_60\n",
      "                     4000        180    3   F     3  = x_12\n",
      "                     5000         43    4        16  = x_139\n",
      "                     4000        180    5   F     3  = x_12\n",
      "                     4000         50    7   F     1 != x_85\n",
      "                     5000        127    3   F    22  = x_125\n",
      "                     6000        141    4         8  = x_95\n",
      "                     5000        127    5   F    22  = x_125\n",
      "                     4000        181    6   F     2  = x_83\n",
      "                     5000         52    7   F     4  = pr_92\n",
      "                     6000        145    1        14  = x_138\n",
      " ! Time = 69.29s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     6000        141    2        13 != x_141\n",
      "                     6000        228    3         4  = pr_144\n",
      "                     6000        228    5         4  = pr_144\n",
      "                     5000        181    6         3  = x_79\n",
      "                     6000        143    7         7  = x_136\n",
      "                     4000        303    8         3 != x_1\n",
      "                     7000         40    1   F     6 != x_92\n",
      "                     7000         82    2        43  = z_15\n",
      "                     7000        308    3   F     1  = y_132\n",
      "                     7000         70    4   F     1  = x_87\n",
      "                     7000        308    5   F     1  = y_132\n",
      "                     7000         41    7        84 != z_64\n",
      "                     5000        261    8   F    14 != x_3\n",
      "                     8000         47    2         1  = x_124\n",
      "                     8000        268    3         0  = pr_96\n",
      "                     8000         47    4         0  = pt_1\n",
      "                     8000        268    5         0  = pr_96\n",
      "                     6000        184    6   F     1  = y_119\n",
      "                     8000         41    7   F     4  = pr_61\n",
      "                     6000        272    8         5 != x_145\n",
      " ! Time = 75.73s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     8000         45    1        26  = x_103\n",
      "                     9000        320    3        18 != x_108\n",
      "                     9000        198    4   F     8  = x_90\n",
      "                     9000        320    5        18 != x_108\n",
      "                     7000        399    6   F     6  = x_37\n",
      "                     9000         78    7   F    16  = x_51\n",
      "                     7000        297    8         1 != x_65\n",
      "                     9000        259    1       148  = z_160\n",
      "                     9000        300    2   F     9  = x_36\n",
      "                    10000        454    3        24 != x_3\n",
      "                    10000        212    4        46  = x_106\n",
      "                    10000        454    5        24 != x_3\n",
      "                     8000        183    6        32  = z_194\n",
      "                    10000         67    7         9 != x_4\n",
      "                    10000        143    1         4  = pr_127\n",
      "                    10000        159    2         1  = x_32\n",
      "                    11000        143    4         4  = z_105\n",
      "                     9000        302    6         8  = x_57\n",
      "                    11000         96    7   F     9  = x_94\n",
      "                     8000        185    8   F     4 != x_78\n",
      " ! Time = 85.20s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    11000        271    1        10 != x_118\n",
      "                    11000        141    2         3 != x_37\n",
      "                    11000        359    3   F     9 != x_119\n",
      "                    11000        359    5   F     9 != x_119\n",
      "                    10000        102    6         4  = x_37\n",
      "                    12000         51    7         1  = y_139\n",
      "                     9000        185    8        16  = x_143\n",
      "                    12000        140    1         3 != x_40\n",
      "                    12000        303    2         6 != x_112\n",
      "                    12000        246    3        13  = x_145\n",
      "                    12000        172    4        18 != z_169\n",
      "                    12000        246    5        13  = x_145\n",
      "                    11000        183    6   F     3 != y_80\n",
      "                    10000        142    8   F     2  = y_68\n",
      "                    13000        141    1         1  = x_49\n",
      "                    13000        162    2         4 != pr_61\n",
      "                    13000        366    3   F    22  = x_2\n",
      "                    13000        164    4   F     1  = y_129\n",
      "                    13000        366    5   F    22  = x_2\n",
      "                    12000        142    6        25 != x_46\n",
      " ! Time = 95.57s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    13000        188    7         4 != pr_69\n",
      "                    14000        140    1   F     3  = x_48\n",
      "                    14000        141    2         1  = pr_54\n",
      "                    14000        364    3   F     8 != x_56\n",
      "                    14000        142    4         0  = pr_145\n",
      "                    14000        364    5   F     8 != x_56\n",
      "                    13000        247    6         2  = y_83\n",
      "                    14000        158    7        16 != x_126\n",
      "                    11000        142    8         4  = x_82\n",
      "                    15000        141    1         0 != x_10\n",
      "                    15000        140    2   F     0  = x_15\n",
      "                    15000        144    3   F     2  = y_43\n",
      "                    15000        143    4         0  = pr_70\n",
      "                    15000        144    5   F     2  = y_43\n",
      "                    14000        182    6   F     2  = y_73\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "                    16000        140    1         0 != y_12\n",
      "                    16000        140    2         0 != x_119\n",
      "                    16000        144    3   F     3  = x_50\n",
      "                    16000        166    4         4 != pr_86\n",
      "                    16000        144    5   F     3  = x_50\n",
      " ! Time = 103.87s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    15000        198    6        34  = x_48\n",
      "                    15000        259    7         0 != pr_41\n",
      "                    12000        184    8   F     3 != x_83\n",
      "                    17000        322    1   F     2  = y_71\n",
      "                    17000        144    3   F    15  = x_139\n",
      "                    17000        143    4         0 != pr_76\n",
      "                    17000        144    5   F    15  = x_139\n",
      "                    16000        103    7        28 != x_51\n",
      "                    13000         59    8         0  = y_60\n",
      "                    18000        199    1        29  = z_130\n",
      "                    17000        140    2         7 != x_97\n",
      "                    18000        185    3        20  = x_27\n",
      "                    18000        143    4         3  = x_143\n",
      "                    18000        185    5        20  = x_27\n",
      "                    16000        188    6         1  = x_80\n",
      "                    14000        313    8         0 != x_131\n",
      "                    19000        141    1   F     3  = y_12\n",
      "                    18000        138    2         3 != x_39\n",
      "                    19000        213    3         0  = pr_130\n",
      "                    19000        154    4         4 != pr_75\n",
      " ! Time = 112.43s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    19000        213    5         0  = pr_130\n",
      "                    17000        156    6         5  = x_26\n",
      "                    15000        355    8        45 != x_29\n",
      "                    20000        139    1   F     3  = x_45\n",
      "                    19000        142    2         0  = pr_55\n",
      "                    18000        156    6   F     3  = x_80\n",
      "                    16000        361    8         0  = y_93\n",
      "                    21000        139    1   F     1 != x_80\n",
      "                    20000        138    2         4 != pr_132\n",
      "                    20000        183    3         0  = pt_40\n",
      "                    20000        142    4        49  = x_73\n",
      "                    20000        183    5         0  = pt_40\n",
      "                    19000        145    6         3  = x_123\n",
      "                    17000        158    7         0  = pr_13\n",
      "                    17000         86    8   F     3  = x_0\n",
      "                    22000        141    1   F     0 != y_130\n",
      "                    21000        230    2         0 != x_125\n",
      "                    21000        141    4   F     2  = x_42\n",
      "                    20000        143    6         3 != y_96\n",
      "                    18000         54    7   F     1  = x_94\n",
      " ! Time = 120.71s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    23000        421    1         0  = pr_72\n",
      "                    22000        143    2         1  = y_54\n",
      "                    21000        182    3   F     3 != x_83\n",
      "                    21000        182    5   F     3 != x_83\n",
      "                    21000        144    6         0  = x_148\n",
      "                    18000         67    8        38  = x_115\n",
      "                    24000        255    1        45  = z_97\n",
      "                    23000        225    2   F     1  = y_15\n",
      "                    22000        143    4   F     2 != x_78\n",
      "                    22000        307    6         3  = y_79\n",
      "                    19000        268    7        39  = x_76\n",
      "                    19000        146    8         7  = z_32\n",
      "                    25000        139    1   F     1  = y_6\n",
      "                    24000        137    2         0  = pr_76\n",
      "                    23000         67    4        30 != z_46\n",
      "                    23000        388    6   F    17  = x_27\n",
      "                    20000         56    7   F    48  = x_72\n",
      "                    20000        146    8        15 != x_105\n",
      "                    26000        139    1   F     3 != y_70\n",
      "                    25000        141    2   F     4 != x_94\n",
      " ! Time = 131.81s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    22000        182    3         1  = x_0\n",
      "                    24000         43    4         1  = x_105\n",
      "                    22000        182    5         1  = x_0\n",
      "                    24000        311    6         0  = x_131\n",
      "                    21000         55    7   F     4  = pr_140\n",
      "                    21000        327    8   F     0  = x_113\n",
      "                    27000        229    1        49  = x_28\n",
      "                    26000        137    2   F     2  = y_11\n",
      "                    23000         36    3         3 != x_85\n",
      "                    25000        143    4   F     3 != x_38\n",
      "                    23000         36    5         3 != x_85\n",
      "                    22000        141    7         3  = x_92\n",
      "                    28000        139    1         1 != x_22\n",
      "                    27000        137    2   F     1  = y_69\n",
      "                    25000        223    6   F     2 != x_84\n",
      "                    29000        139    1        49  = x_130\n",
      "                    28000        140    2         1  = x_94\n",
      "                    24000        185    3         6  = x_140\n",
      "                    24000        185    5         6  = x_140\n",
      "                    23000        305    7        49  = x_132\n",
      " ! Time = 139.89s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    30000        141    1         4  = pr_69\n",
      "                    29000        143    2         3 != x_87\n",
      "                    25000        292    3         3  = x_141\n",
      "                    26000        316    4         5  = x_91\n",
      "                    25000        292    5         3  = x_141\n",
      "                    24000        298    7         0  = y_7\n",
      "                    27000        173    4         0  = y_10\n",
      "                    26000        315    6         6 != x_84\n",
      "                    25000        223    7         7  = x_22\n",
      "                    22000        322    8         3 != x_36\n",
      "                    30000        143    2         0  = pt_47\n",
      "                    26000        292    3        15 != x_143\n",
      "                    28000        145    4   F     2  = y_131\n",
      "                    26000        292    5        15 != x_143\n",
      "                    26000        141    7        13  = x_128\n",
      "                    23000         41    8         4 != pr_94\n",
      "                    31000        319    1         0  = pr_59\n",
      "                    31000        139    2         9  = x_88\n",
      "                    27000        269    3   F    12 != x_125\n",
      "                    29000        144    4   F     3  = x_38\n",
      " ! Time = 150.90s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    27000        269    5   F    12 != x_125\n",
      "                    27000        318    6         1  = y_142\n",
      "                    24000         95    8         0  = pr_75\n",
      "                    32000         34    1         0  = y_145\n",
      "                    32000        141    2   F     4  = x_81\n",
      "                    28000        243    3        10  = x_56\n",
      "                    28000        243    5        10  = x_56\n",
      "                    28000         75    6   F     1 != y_7\n",
      "                    27000        239    7         3  = y_61\n",
      "                    25000        116    8   F     2  = y_31\n",
      "                    33000        141    1         3 != x_122\n",
      "                    29000        141    3   F     2 != y_133\n",
      "                    30000        251    4         0  = pr_55\n",
      "                    29000        141    5   F     2 != y_133\n",
      "                    29000         59    6   F    39  = x_121\n",
      "                    28000        184    7         2 != y_83\n",
      "                    26000        138    8         1  = pr_7\n",
      "                    33000        309    2        19  = x_9\n",
      "                    30000        142    3   F     2  = y_88\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "                    31000        184    4         9  = x_27\n",
      " ! Time = 159.03s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    30000        142    5   F     2  = y_88\n",
      "                    30000         55    6   F        -\n",
      "                    29000        335    7         0  = x_59\n",
      "                    27000        321    8         0  = y_73\n",
      "                    34000        141    1         6  = x_66\n",
      "                    34000        255    2        10  = x_23\n",
      "                    32000        113    4   F    10  = x_141\n",
      "                    30000        117    7   F     3 != y_55\n",
      "                    35000         47    1   F    30  = x_49\n",
      "                    31000        145    3   F    14  = x_118\n",
      "                    31000        145    5   F    14  = x_118\n",
      "                    31000        145    6         7 != x_55\n",
      "                    31000        117    7   F     7 != x_94\n",
      "                    36000         54    1   F     3  = x_44\n",
      "                    35000        141    2         3  = x_86\n",
      "                    33000        300    4         4 != x_78\n",
      "                    32000        134    7         3 != x_45\n",
      "                    36000        362    2        37  = x_5\n",
      "                    33000        134    7         2  = x_83\n",
      "                    28000         90    8   F    11  = x_56\n",
      " ! Time = 169.92s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    37000        141    1   F     2 != x_81\n",
      "                    37000        307    2   F     1 != pr_68\n",
      "                    32000        310    3   F     4 != x_96\n",
      "                    34000        309    4         0  = x_139\n",
      "                    32000        310    5   F     4 != x_96\n",
      "                    34000         80    7         6 != x_64\n",
      "                    29000         73    8   F     0  = x_126\n",
      "                    38000        302    1   F     6  = x_86\n",
      "                    38000        141    2         3 != x_43\n",
      "                    35000        219    4        44  = z_60\n",
      "                    32000        178    6   F        -\n",
      "                    35000         79    7         0  = pr_144\n",
      "                    30000        168    8        24 != x_33\n",
      "                    39000        165    1         4 != pr_77\n",
      "                    33000        290    3         5 != x_89\n",
      "                    36000        141    4         3 != x_48\n",
      "                    33000        290    5         5 != x_89\n",
      "                    33000        420    6   F    30  = x_108\n",
      "                    36000        129    7         4  = z_31\n",
      "                    31000        168    8        15  = x_136\n",
      " ! Time = 177.49s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    39000        141    2         5 != x_55\n",
      "                    34000        295    3   F     9  = x_37\n",
      "                    37000        142    4         0  = x_90\n",
      "                    34000        295    5   F     9  = x_37\n",
      "                    34000        423    6        28 != x_121\n",
      "                    37000         97    7         0 != x_84\n",
      "                    32000        165    8   F     4  = pr_13\n",
      "                    40000        141    1         2  = x_78\n",
      "                    35000        272    3       119  = z_119\n",
      "                    35000        272    5       119  = z_119\n",
      "                    35000        186    6         3 != y_81\n",
      "                    38000        123    7   F    33  = x_127\n",
      "                    33000        137    8         3 != x_46\n",
      "                    36000        165    3   F     1 != pr_131\n",
      "                    36000        165    5   F     1 != pr_131\n",
      "                    36000        161    6   F     4  = pr_60\n",
      "                    39000         76    7   F     0  = x_36\n",
      "                    34000        137    8   F        -\n",
      "                    37000        182    3   F     4 != x_81\n",
      "                    38000        296    4         2 != x_97\n",
      " ! Time = 189.57s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    37000        182    5   F     4 != x_81\n",
      "                    37000        172    6         9 != x_64\n",
      "                    40000        114    7         0  = x_123\n",
      "                    35000        175    8   F        -\n",
      "                    40000        360    2   F     1  = y_129\n",
      "                    36000        175    8        84 != z_3\n",
      "                    41000        144    2        31  = x_28\n",
      "                    38000        182    3         3  = y_83\n",
      "                    39000        306    4        40  = x_129\n",
      "                    38000        182    5         3  = y_83\n",
      "                    38000        185    6   F     3  = x_84\n",
      "                    41000        312    7         0  = pt_31\n",
      "                    37000        177    8         3 != z_167\n",
      "                    41000        324    1         2 != x_85\n",
      "                    42000         50    2   F    11 != x_56\n",
      "                    39000        250    3         6 != x_143\n",
      "                    40000        189    4   F    29  = x_48\n",
      "                    39000        250    5         6 != x_143\n",
      "                    42000        143    7         3 != x_49\n",
      "                    38000        134    8         1  = y_66\n",
      " ! Time = 197.88s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    42000        302    1        11 != x_119\n",
      "                    43000         50    2         4 != pr_95\n",
      "                    41000        184    4         0  = y_82\n",
      "                    39000        185    6         6 != x_37\n",
      "                    43000        143    7   F     5  = x_0\n",
      "                    39000         64    8         0 != x_69\n",
      "                    43000        282    1        16  = z_20\n",
      "                    40000        250    3        14 != x_145\n",
      "                    40000        250    5        14 != x_145\n",
      "                    40000        222    8         4 != x_132\n",
      "                    44000        143    1   F     7 != x_94\n",
      "                    44000        141    2         3  = x_79\n",
      "                    42000        261    4   F     2 != x_86\n",
      "                    40000        206    6        15 != x_4\n",
      "                    44000        328    7   F     0  = x_92\n",
      "                    41000        100    8         4 != x_145\n",
      "                    43000        300    4         0  = pt_41\n",
      "                    41000        317    6   F     3 != x_81\n",
      "                    45000        302    7   F     0  = x_92\n",
      "                    42000        102    8         1  = x_0\n",
      " ! Time = 212.12s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    45000        358    2         2  = y_142\n",
      "                    41000        251    3         6 != x_139\n",
      "                    44000        293    4         4  = x_113\n",
      "                    41000        251    5         6 != x_139\n",
      "                    46000        273    7        16  = x_119\n",
      "                    46000        305    2   F     1 != y_74\n",
      "                    45000        150    4         3  = y_64\n",
      "                    42000        240    6         9  = x_33\n",
      "                    47000        142    7         3 != x_86\n",
      "                    47000        143    2         3 != x_50\n",
      "                    46000        140    4         1  = pr_82\n",
      "                    43000         93    6         3 != x_48\n",
      "                    43000        307    8         2  = x_36\n",
      "                    45000        299    1         0  = x_79\n",
      "                    42000        185    3   F     2  = x_82\n",
      "                    42000        185    5   F     2  = x_82\n",
      "                    44000        140    6       137  = z_57\n",
      "                    48000        145    2         3 != x_89\n",
      "                    43000        155    3         4 != pr_145\n",
      "                    47000        225    4   F     4 != x_91\n",
      " ! Time = 225.87s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    43000        155    5         4 != pr_145\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "                    45000        404    6   F    34  = x_121\n",
      "                    48000        321    7         0  = x_60\n",
      "                    44000        158    3         1  = pr_129\n",
      "                    44000        158    5         1  = pr_129\n",
      "                    46000        408    6        31 != x_2\n",
      "                    44000        283    8   F     3  = x_145\n",
      "                    45000        195    3        24 != z_142\n",
      "                    45000        195    5        24 != z_142\n",
      "                    47000        303    6   F     0  = x_36\n",
      "                    45000        287    8   F    32  = x_4\n",
      "                    46000        316    1        45 != x_125\n",
      "                    49000        359    2   F     2  = y_133\n",
      "                    46000        200    3   F        -\n",
      "                    48000        225    4         0 != x_1\n",
      "                    46000        200    5   F        -\n",
      "                    48000        302    6   F     1 != x_126\n",
      "                    49000        316    7         0 != y_43\n",
      "                    46000        141    8   F     1 != y_142\n",
      "                    47000        300    1       130  = z_122\n",
      " ! Time = 238.09s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    50000        252    2         8 != x_55\n",
      "                    47000        161    3        53  = z_98\n",
      "                    47000        161    5        53  = z_98\n",
      "                    50000        305    7   F     2 != x_88\n",
      "                    47000        183    8         1  = x_82\n",
      "                    48000        310    1   F     0  = pr_131\n",
      "                    51000         50    2       143  = z_124\n",
      "                    49000        183    6   F     2 != x_78\n",
      "                    51000        303    7         1 != x_145\n",
      "                    52000        184    2   F     9 != x_90\n",
      "                    50000        183    6   F     2 != x_81\n",
      "                    52000        143    7         0  = y_7\n",
      "                    48000        183    8   F     2  = x_83\n",
      "                    49000        298    1        29  = z_46\n",
      "                    48000         58    3   F   111  = z_78\n",
      "                    48000         58    5   F   111  = z_78\n",
      "                    51000        186    6   F     2 != x_82\n",
      "                    53000        142    7         2 != x_33\n",
      "                    50000        141    1   F     4  = x_83\n",
      "                    53000        303    2   F     1  = y_93\n",
      " ! Time = 249.73s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    49000         42    3        22  = x_15\n",
      "                    49000        309    4   F     3 != x_85\n",
      "                    49000         42    5        22  = x_15\n",
      "                    54000        143    7        33 != x_108\n",
      "                    51000        184    1         0  = pr_65\n",
      "                    54000        307    2         6 != x_4\n",
      "                    50000         45    3   F     0  = x_143\n",
      "                    50000         45    5   F     0  = x_143\n",
      "                    52000        186    6   F    14  = x_128\n",
      "                    49000        183    8   F     4  = x_37\n",
      "                    51000         47    3        40  = x_15\n",
      "                    51000         47    5        40  = x_15\n",
      "                    53000        169    6         2 != x_124\n",
      "                    55000        315    7         3 != x_85\n",
      "                    52000        189    1   F     2 != x_78\n",
      "                    55000        184    2         9 != x_4\n",
      "                    50000        259    4   F     0  = y_118\n",
      "                    54000        170    6   F     4 != x_83\n",
      "                    56000        141    2   F     3  = x_45\n",
      "                    51000        184    4         1 != x_81\n",
      " ! Time = 264.51s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    56000        184    7   F     7  = x_94\n",
      "                    50000        325    8   F     5  = x_112\n",
      "                    57000        141    2       119  = z_125\n",
      "                    52000        184    4   F     2 != y_44\n",
      "                    55000        187    6         2 != x_82\n",
      "                    52000         42    3   F    29  = x_2\n",
      "                    53000        142    4   F     0  = x_0\n",
      "                    52000         42    5   F    29  = x_2\n",
      "                    56000        187    6         0  = x_111\n",
      "                    53000        321    1   F     0 != x_1\n",
      "                    53000         36    3       148  = z_172\n",
      "                    53000         36    5       148  = z_172\n",
      "                    57000        135    6   F     2 != y_97\n",
      "                    58000        302    2         0  = y_82\n",
      "                    54000         52    3         6  = x_134\n",
      "                    54000        168    4   F     6  = x_89\n",
      "                    54000         52    5         6  = x_134\n",
      "                    58000        200    6   F     2  = y_15\n",
      "                    51000        393    8         4 != x_1\n",
      "                    55000         58    3         0  = pr_10\n",
      " ! Time = 282.33s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    55000         58    5         0  = pr_10\n",
      "                    59000        201    6   F    10 != x_58\n",
      "                    57000        341    7   F     0  = x_78\n",
      "                    54000        303    1   F     7 != x_95\n",
      "                    59000        333    2         3  = x_82\n",
      "                    56000        317    3   F     1  = y_96\n",
      "                    56000        317    5   F     1  = y_96\n",
      "                    60000         64    6   F    54  = z_37\n",
      "                    58000        249    7         4  = x_13\n",
      "                    55000        184    1         2 != x_81\n",
      "                    57000        315    3   F     1  = y_118\n",
      "                    55000        323    4   F     5  = x_97\n",
      "                    57000        315    5   F     1  = y_118\n",
      "                    59000        102    7         4 != pr_120\n",
      "                    52000         68    8        50  = z_60\n",
      "                    56000        184    1         2 != x_119\n",
      "                    60000        184    2         0  = y_93\n",
      "                    58000         54    3         4  = pr_45\n",
      "                    58000         54    5         4  = pr_45\n",
      "                    61000         72    6         0  = pr_55\n",
      " ! Time = 293.54s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    60000        104    7   F     1 != pr_12\n",
      "                    53000         70    8         0  = pr_96\n",
      "                    61000        296    2         5  = x_37\n",
      "                    59000         41    3         3  = y_64\n",
      "                    56000        298    4   F     5 != x_15\n",
      "                    59000         41    5         3  = y_64\n",
      "                    62000         38    6   F     4  = x_39\n",
      "                    61000        141    7        15 != x_4\n",
      "                    57000        292    1   F     2  = x_88\n",
      "                    60000         44    3        37 != x_50\n",
      "                    57000        303    4        49  = x_14\n",
      "                    60000         44    5        37 != x_50\n",
      "                    63000         34    6         5 != x_61\n",
      "                    62000        112    7         4 != pr_47\n",
      "                    58000        319    1         1 != x_32\n",
      "                    62000        296    2   F     7  = x_91\n",
      "                    61000         49    3   F     1  = x_37\n",
      "                    58000        140    4         3 != x_44\n",
      "                    61000         49    5   F     1  = x_37\n",
      "                    54000        309    8   F     3 != x_113\n",
      " ! Time = 302.85s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    59000        248    1            -\n",
      "                    63000        220    2         1 != y_0\n",
      "                    62000         37    3        25  = x_133\n",
      "                    59000         66    4   F     1 != y_12\n",
      "                    62000         37    5        25  = x_133\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "                    63000        111    7         0  = pr_82\n",
      "                    60000        143    1   F     3  = x_48\n",
      "                    64000        321    2         1 != x_16\n",
      "                    63000         56    3        79 != z_111\n",
      "                    60000         99    4        49  = x_129\n",
      "                    63000         56    5        79 != z_111\n",
      "                    64000        109    7         5  = x_36\n",
      "                    61000        140    1       130  = z_56\n",
      "                    61000        100    4         5 != x_38\n",
      "                    65000        180    7   F     7 != x_96\n",
      "                    62000        184    1         0  = pt_48\n",
      "                    65000        184    2   F     3 != x_83\n",
      "                    64000         61    3   F     9  = x_37\n",
      "                    62000        127    4   F    47 != x_47\n",
      "                    64000         61    5   F     9  = x_37\n",
      " ! Time = 314.72s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    64000        179    6         1 != x_56\n",
      "                    55000        264    8         0 != x_49\n",
      "                    66000        184    2         2 != x_95\n",
      "                    65000        111    3        21  = z_129\n",
      "                    63000        139    4   F    11 != x_139\n",
      "                    65000        111    5        21  = z_129\n",
      "                    66000        180    7        20 != x_137\n",
      "                    67000        142    2         2  = y_73\n",
      "                    66000         65    3         0 != x_21\n",
      "                    64000        167    4         0 != y_47\n",
      "                    66000         65    5         0 != x_21\n",
      "                    67000        262    7   F     1  = x_85\n",
      "                    56000        253    8         2  = x_37\n",
      "                    63000        194    1   F     6 != x_91\n",
      "                    67000         66    3   F     0  = pr_0\n",
      "                    65000         82    4   F     3  = x_97\n",
      "                    67000         66    5   F     0  = pr_0\n",
      "                    68000        298    7         0  = pt_30\n",
      "                    57000         86    8         1 != x_89\n",
      "                    64000        217    1       132  = z_191\n",
      " ! Time = 325.91s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    68000         78    3   F     1  = x_97\n",
      "                    68000         78    5   F     1  = x_97\n",
      "                    65000        179    6         0  = y_145\n",
      "                    69000        193    7         4 != pr_86\n",
      "                    58000         72    8   F     9 != x_38\n",
      "                    65000        215    1   F     5  = x_96\n",
      "                    68000        312    2         5  = x_97\n",
      "                    69000         50    3         8 != x_125\n",
      "                    66000        286    4   F     5  = x_36\n",
      "                    69000         50    5         8 != x_125\n",
      "                    66000        316    6         1 != x_20\n",
      "                    70000        142    7         9  = x_59\n",
      "                    59000         72    8         0  = x_83\n",
      "                    70000         48    3         2 != y_140\n",
      "                    70000         48    5         2 != y_140\n",
      "                    67000        315    6         1  = x_17\n",
      "                    60000         94    8        30  = x_68\n",
      "                    66000        224    1        21 != x_128\n",
      "                    71000         54    3         1 != x_83\n",
      "                    67000         93    4   F     1  = x_95\n",
      " ! Time = 335.09s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    71000         54    5         1 != x_83\n",
      "                    68000         49    6   F    23  = x_108\n",
      "                    61000         60    8         1  = x_37\n",
      "                    67000        184    1         3  = x_81\n",
      "                    69000        312    2        25 != x_48\n",
      "                    68000         85    4         0  = y_31\n",
      "                    69000         37    6        21 != x_127\n",
      "                    71000        305    7   F     4  = x_82\n",
      "                    62000        239    8   F    10 != x_58\n",
      "                    68000        184    1   F     1  = x_84\n",
      "                    72000        185    3   F     4 != x_82\n",
      "                    69000         88    4   F     4  = x_120\n",
      "                    72000        185    5   F     4 != x_82\n",
      "                    70000         43    6         1  = y_9\n",
      "                    63000        245    8   F    26  = x_108\n",
      "                    69000        190    1         2 != x_91\n",
      "                    70000        173    4   F     9  = x_48\n",
      "                    71000         54    6   F    14  = x_29\n",
      "                    72000        314    7         4 != x_71\n",
      "                    64000         24    8   F     5  = x_140\n",
      " ! Time = 344.72s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    70000        327    1   F     1  = y_41\n",
      "                    70000        319    2   F     7  = x_94\n",
      "                    73000        184    3         0 != x_145\n",
      "                    73000        184    5         0 != x_145\n",
      "                    72000         47    6         1 != x_30\n",
      "                    73000        341    7   F    22  = x_28\n",
      "                    65000         24    8        14 != x_108\n",
      "                    71000        327    1        13 != x_141\n",
      "                    71000        184    2   F     1 != y_89\n",
      "                    71000        287    4         1  = x_85\n",
      "                    73000         56    6         4 != pr_55\n",
      "                    74000        298    7         0  = pr_92\n",
      "                    66000         24    8   F        -\n",
      "                    74000        397    3         6 != x_145\n",
      "                    72000        319    4   F     6 != x_85\n",
      "                    74000        397    5         6 != x_145\n",
      "                    74000        140    6         3  = y_46\n",
      "                    67000        311    8   F    25 != x_27\n",
      "                    72000        226    1         0  = pr_68\n",
      "                    72000        300    2   F    11 != x_128\n",
      " ! Time = 359.62s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    73000        315    4         1  = x_21\n",
      "                    75000        140    6         3  = y_94\n",
      "                    68000        371    8        80  = pt_1\n",
      "                    73000        141    1         3 != x_109\n",
      "                    75000        339    3        25  = z_129\n",
      "                    74000        143    4         3 != x_39\n",
      "                    75000        339    5        25  = z_129\n",
      "                    75000        307    7   F     4 != x_89\n",
      "                    69000        140    8         3 != x_44\n",
      "                    74000        141    1   F    20 != x_4\n",
      "                    73000        339    2         1  = y_133\n",
      "                    76000        102    3            -\n",
      "                    76000        102    5            -\n",
      "                    76000        312    6         3 != x_36\n",
      "                    76000        305    7   F     1 != pr_133\n",
      "                    70000        142    8         0 != pr_85\n",
      "                    75000        224    1   F     8  = x_64\n",
      "                    74000        354    2         3  = y_74\n",
      "                    75000        143    4         2  = x_83\n",
      "                    77000        170    7   F     2  = x_86\n",
      " ! Time = 371.40s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    71000        174    8   F    48  = x_72\n",
      "                    75000        305    2         1 != x_80\n",
      "                    77000         52    3         7 != x_32\n",
      "                    77000         52    5         7 != x_32\n",
      "                    78000        175    7   F    36 != x_27\n",
      "                    72000        210    8   F    48  = x_125\n",
      "                    76000        224    1   F     6 != x_88\n",
      "                    76000        320    2   F     6  = x_92\n",
      "                    78000        112    3         0  = x_142\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "                    78000        112    5         0  = x_142\n",
      "                    79000        225    7         3  = y_60\n",
      "                    73000        211    8   F    48  = x_76\n",
      "                    77000        176    2   F     4  = pr_70\n",
      "                    76000        322    4         3  = x_90\n",
      "                    80000        188    7         1  = y_71\n",
      "                    74000        137    8         4 != x_15\n",
      "                    78000        143    2   F     0 != y_92\n",
      "                    77000        323    6         5 != x_36\n",
      "                    81000        183    7   F     3 != x_83\n",
      "                    75000         67    8            -\n",
      " ! Time = 385.34s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    77000        330    1   F     3 != x_96\n",
      "                    79000        323    3   F     6  = x_96\n",
      "                    77000        295    4        24 != x_73\n",
      "                    79000        323    5   F     6  = x_96\n",
      "                    82000        181    7   F     2 != x_108\n",
      "                    76000        130    8   F     5  = x_91\n",
      "                    79000        295    2   F     3  = x_97\n",
      "                    78000        217    4   F     6 != x_118\n",
      "                    83000        230    7       119  = z_125\n",
      "                    77000        118    8   F     5  = x_97\n",
      "                    78000        318    1         2 != x_87\n",
      "                    79000        227    4        27 != x_71\n",
      "                    78000        248    6   F     1  = y_11\n",
      "                    84000        182    7        26  = x_53\n",
      "                    80000        287    4   F     1 != pr_11\n",
      "                    79000        144    6         3  = x_87\n",
      "                    85000        258    7         4 != x_86\n",
      "                    78000        109    8        11  = x_87\n",
      "                    80000        320    2   F     5  = x_94\n",
      "                    81000        321    4   F     1 != pr_8\n",
      " ! Time = 404.85s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    80000        141    6         0  = x_38\n",
      "                    79000        312    8   F     3 != x_87\n",
      "                    79000        319    1   F     7  = x_91\n",
      "                    80000        417    3   F     1 != x_120\n",
      "                    82000        173    4   F     9  = x_38\n",
      "                    80000        417    5   F     1 != x_120\n",
      "                    86000        232    7        41  = x_27\n",
      "                    81000        326    2        26  = x_2\n",
      "                    81000        391    3   F    35  = x_27\n",
      "                    83000        251    4         1  = pr_95\n",
      "                    81000        391    5   F    35  = x_27\n",
      "                    87000        141    7   F     3  = x_50\n",
      "                    80000        332    1   F     2  = x_91\n",
      "                    82000        380    2   F     4  = x_2\n",
      "                    82000        389    3   F    35  = x_28\n",
      "                    84000        106    4         7  = x_145\n",
      "                    82000        389    5   F    35  = x_28\n",
      "                    88000        140    7         3  = x_97\n",
      "                    80000        281    8         2  = y_90\n",
      "                    81000        332    1   F    23  = x_4\n",
      " ! Time = 417.70s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    83000        320    2         3  = x_96\n",
      "                    83000        327    3         1  = y_120\n",
      "                    83000        327    5         1  = y_120\n",
      "                    81000        371    6   F     7  = x_38\n",
      "                    81000        268    8        22  = x_33\n",
      "                    82000        398    1         0  = y_86\n",
      "                    84000        323    3         6 != x_3\n",
      "                    85000        242    4         3 != x_92\n",
      "                    84000        323    5         6 != x_3\n",
      "                    89000        319    7   F     3  = x_89\n",
      "                    82000        341    8   F     4  = x_55\n",
      "                    84000        184    2         1  = y_132\n",
      "                    85000        183    3   F    11  = x_145\n",
      "                    86000         99    4         2 != x_53\n",
      "                    85000        183    5   F    11  = x_145\n",
      "                    82000        267    6   F        -\n",
      "                    90000        390    7         0  = pr_42\n",
      "                    83000        285    8        16 != x_128\n",
      "                    83000        184    1   F     4 != x_83\n",
      "                    85000        300    2   F    23  = x_2\n",
      " ! Time = 428.32s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    86000        254    3         1  = y_127\n",
      "                    87000        197    4   F     3 != x_90\n",
      "                    86000        254    5         1  = y_127\n",
      "                    83000        142    6   F     3  = x_46\n",
      "                    91000        314    7         0  = pr_74\n",
      "                    84000        215    8   F    37  = x_121\n",
      "                    84000        184    1   F     9  = x_93\n",
      "                    86000        330    2         1  = x_137\n",
      "                    87000        126    3        30 != x_3\n",
      "                    87000        126    5        30 != x_3\n",
      "                    84000        141    6         3 != x_45\n",
      "                    92000        311    7         1  = x_95\n",
      "                    85000        215    8        38 != x_127\n",
      "                    85000        305    1         3  = x_59\n",
      "                    87000        327    2         1  = x_137\n",
      "                    88000        319    3         1  = pr_15\n",
      "                    88000         93    4         7 != x_36\n",
      "                    88000        319    5         1  = pr_15\n",
      "                    85000        142    6   F     4  = pr_75\n",
      "                    93000        140    7   F     2 != y_83\n",
      " ! Time = 435.78s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    86000        215    8        14 != x_127\n",
      "                    86000        309    1   F     1 != pr_76\n",
      "                    89000        319    3         1 != x_135\n",
      "                    89000        120    4         7 != x_37\n",
      "                    89000        319    5         1 != x_135\n",
      "                    87000        232    8        34 != x_127\n",
      "                    87000        252    1   F     2  = y_144\n",
      "                    88000        289    2   F     3 != x_63\n",
      "                    90000        320    3         0  = y_88\n",
      "                    90000        211    4        30  = z_22\n",
      "                    90000        320    5         0  = y_88\n",
      "                    94000        142    7         7  = x_88\n",
      "                    88000        219    8   F    38  = x_121\n",
      "                    88000        169    1   F    11  = x_141\n",
      "                    89000        335    2        47  = x_28\n",
      "                    91000         72    3        19  = z_180\n",
      "                    91000        141    4         0  = pr_65\n",
      "                    91000         72    5        19  = z_180\n",
      "                    86000        288    6   F     4  = x_38\n",
      "                    89000         30    8         1 != y_30\n",
      " ! Time = 445.51s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    89000        142    1         0  = y_144\n",
      "                    90000        143    2         3  = y_93\n",
      "                    95000        317    7   F     5  = x_78\n",
      "                    90000         52    8        25 != x_76\n",
      "                    90000        297    1   F    33 != x_7\n",
      "                    92000         64    3   F    14 != x_141\n",
      "                    92000        295    4         4 != pr_63\n",
      "                    92000         64    5   F    14 != x_141\n",
      "                    87000        291    6   F     5  = x_36\n",
      "                    96000        232    7         2 != x_34\n",
      "                    91000         48    8        39 != x_132\n",
      "                    91000        184    1   F     3  = x_83\n",
      "                    97000        231    7         1  = y_86\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "                    92000        184    1         5 != x_139\n",
      "                    91000        146    2         4  = x_92\n",
      "                    92000         41    8   F     0 != x_92\n",
      "                    93000        345    1   F     1  = x_121\n",
      "                    93000        433    3         5  = x_79\n",
      "                    93000        302    4         7 != x_36\n",
      "                    93000        433    5         5  = x_79\n",
      " ! Time = 465.23s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    88000        288    6         1 != y_85\n",
      "                    98000        315    7         1  = y_119\n",
      "                    94000        248    1         4  = x_120\n",
      "                    92000        184    2   F     2 != x_83\n",
      "                    94000        303    3   F    12  = x_87\n",
      "                    94000        303    5   F    12  = x_87\n",
      "                    89000        153    6         6 != x_2\n",
      "                    99000        184    7         3 != y_12\n",
      "                    93000        202    8   F     4  = x_92\n",
      "                    95000        248    1        16  = x_142\n",
      "                    93000        184    2         0  = x_112\n",
      "                    95000        195    3         3  = x_109\n",
      "                    94000        185    4         3 != y_61\n",
      "                    95000        195    5         3  = x_109\n",
      "                    90000        130    6   F     1  = pr_93\n",
      "                    96000        141    1         1  = pr_11\n",
      "                    94000        224    2         1  = y_42\n",
      "                    96000        136    3         0  = y_47\n",
      "                    95000        186    4         3 != y_10\n",
      "                    96000        136    5         0  = y_47\n",
      " ! Time = 474.36s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    91000         72    6   F     1  = y_120\n",
      "                     100k        329    7         6 != y_60\n",
      "                    94000        202    8        51  = z_15\n",
      "                    97000        141    1   F     1 != y_139\n",
      "                    97000        313    3        96  = z_28\n",
      "                    96000        312    4   F     1 != y_46\n",
      "                    97000        313    5        96  = z_28\n",
      "                    92000         70    6            -\n",
      "                     101k        296    7         5 != x_93\n",
      "                    95000         50    8        30 != z_70\n",
      "                    98000        142    1         0  = pt_45\n",
      "                    98000        276    3   F    36  = x_40\n",
      "                    97000        319    4   F     1 != y_74\n",
      "                    98000        276    5   F    36  = x_40\n",
      "                    93000         64    6   F     1  = y_93\n",
      "                    96000         51    8   F     3 != x_74\n",
      "                    99000        165    1         4 != pr_143\n",
      "                    95000        162    2         7  = x_54\n",
      "                    99000        276    3        43  = x_76\n",
      "                    99000        276    5        43  = x_76\n",
      " ! Time = 482.72s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    94000        143    6   F    11  = x_142\n",
      "                     102k        296    7   F     3  = x_89\n",
      "                    97000        184    8         3  = y_59\n",
      "                     100k        143    1   F    10 != x_87\n",
      "                    98000        181    4         3 != x_120\n",
      "                    95000        155    6         2  = y_67\n",
      "                     103k        154    7         4  = x_88\n",
      "                    98000        134    8   F     1  = y_112\n",
      "                    96000        340    2   F    30  = x_108\n",
      "                     100k        131    3         4  = x_120\n",
      "                     100k        131    5         4  = x_120\n",
      "                    96000        106    6         2  = y_119\n",
      "                    99000        202    8        40 != z_97\n",
      "                     101k        182    1   F     0  = x_113\n",
      "                    97000        331    2   F     1  = y_119\n",
      "                    99000        296    4   F     1  = y_66\n",
      "                    97000         57    6         0  = y_89\n",
      "                     104k        302    7         3  = x_88\n",
      "                     100k        200    8        11  = x_100\n",
      "                     102k        250    1         1 != x_40\n",
      " ! Time = 498.87s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                    98000        142    2         0  = y_129\n",
      "                     101k        144    3   F     4  = pr_92\n",
      "                     100k        179    4         1  = pr_73\n",
      "                     101k        144    5   F     4  = pr_92\n",
      "                     102k        143    3   F     3  = x_46\n",
      "                     101k        295    4         2 != y_131\n",
      "                     102k        143    5   F     3  = x_46\n",
      "                    98000        171    6   F    18 != x_52\n",
      "                     105k        290    7   F     4  = x_87\n",
      "                     101k         41    8         0  = pt_0\n",
      "                     103k        229    1         2 != x_53\n",
      "                    99000        296    2         8  = x_92\n",
      "                     103k        143    3         2 != x_86\n",
      "                     102k        143    4   F     3  = x_47\n",
      "                     103k        143    5         2 != x_86\n",
      "                    99000        141    6         3 != x_44\n",
      "                     106k        291    7         4  = pr_9\n",
      "                     102k         34    8         3  = z_153\n",
      "                     104k        298    1   F     1  = x_84\n",
      "                     104k         57    3         5 != x_83\n",
      " ! Time = 512.82s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     103k        143    4         5 != x_119\n",
      "                     104k         57    5         5 != x_83\n",
      "                     100k        141    6         1 != x_84\n",
      "                     107k        202    7         5  = x_94\n",
      "                     103k         93    8         4 != x_69\n",
      "                     105k        298    1   F     1 != y_140\n",
      "                     100k        295    2         4  = x_1\n",
      "                     105k         59    3        27 != x_74\n",
      "                     105k         59    5        27 != x_74\n",
      "                     108k        173    7        48  = x_70\n",
      "                     104k        304    8         0  = pt_0\n",
      "                     106k        154    1   F     4  = pr_62\n",
      "                     101k        185    6         4 != x_78\n",
      "                     109k        204    7         4 != x_36\n",
      "                     105k        241    8         0 != x_38\n",
      "                     107k        140    1         3 != x_39\n",
      "                     101k        297    2   F     2  = x_46\n",
      "                     104k        318    4         0  = x_36\n",
      "                     102k        185    6   F     2  = x_85\n",
      "                     110k        122    7        13 != x_21\n",
      " ! Time = 525.08s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     106k        113    8         0  = pr_45\n",
      "                     106k        144    3   F    47  = x_28\n",
      "                     106k        144    5   F    47  = x_28\n",
      "                     107k        173    8        40  = x_71\n",
      "                     107k        386    3         5 != x_36\n",
      "                     105k        293    4         4  = pr_120\n",
      "                     107k        386    5         5 != x_36\n",
      "                     103k        186    6   F     2  = x_84\n",
      "                     111k        122    7         4  = x_38\n",
      "                     108k         75    8   F     2 != x_127\n",
      "                     108k        141    1   F     4  = x_118\n",
      "                     102k        242    2   F     4  = x_112\n",
      "                     108k        381    3         5 != x_68\n",
      "                     108k        381    5         5 != x_68\n",
      "                     112k        198    7         1  = y_144\n",
      "                     109k         68    8         5 != x_14\n",
      "                     103k        257    2         0  = x_36\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "                     109k        373    3        14  = x_145\n",
      "                     106k        297    4         9 != x_87\n",
      "                     109k        373    5        14  = x_145\n",
      " ! Time = 539.24s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     104k        186    6        49  = x_76\n",
      "                     113k        182    7   F     5 != x_97\n",
      "                     110k         73    8   F     1 != pr_42\n",
      "                     109k        310    1         9 != x_36\n",
      "                     105k         57    6   F        -\n",
      "                     114k        147    7         1  = y_81\n",
      "                     111k        262    8         1 != pr_14\n",
      "                     110k        312    1         0  = x_97\n",
      "                     104k        190    2   F     2 != y_88\n",
      "                     107k        293    4         0 != x_120\n",
      "                     106k         63    6            -\n",
      "                     115k        151    7         0  = pr_73\n",
      "                     112k        225    8   F    13 != x_87\n",
      "                     111k        340    1         7  = x_108\n",
      "                     105k        250    2         8  = x_11\n",
      "                     110k        373    3   F    26 != x_3\n",
      "                     110k        373    5   F    26 != x_3\n",
      "                     107k        187    6   F     2  = x_85\n",
      "                     116k        172    7   F    14  = x_135\n",
      "                     112k        391    1   F     7  = x_108\n",
      " ! Time = 553.79s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     106k        300    2   F     1  = y_145\n",
      "                     111k         28    3         0  = pt_45\n",
      "                     108k        293    4   F     2  = x_91\n",
      "                     111k         28    5         0  = pt_45\n",
      "                     117k        155    7   F     7  = x_58\n",
      "                     113k        247    8         0  = x_89\n",
      "                     107k        143    2   F     3  = x_50\n",
      "                     112k        184    3         3 != x_78\n",
      "                     109k        297    4         1  = pr_71\n",
      "                     112k        184    5         3 != x_78\n",
      "                     118k        156    7   F     1  = x_133\n",
      "                     114k        379    8   F     1 != y_89\n",
      "                     108k        143    2         5 != x_37\n",
      "                     119k        164    7        47  = x_43\n",
      "                     115k        395    8   F     1  = y_89\n",
      "                     113k        280    1         7 != x_97\n",
      "                     113k        184    3         3  = x_78\n",
      "                     113k        184    5         3  = x_78\n",
      "                     108k        325    6   F     2  = x_86\n",
      "                     109k        183    6        20 != x_29\n",
      " ! Time = 564.71s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     120k        165    7         0 != pr_7\n",
      "                     116k        137    8   F     5  = x_61\n",
      "                     114k         60    3         1  = x_113\n",
      "                     110k        294    4   F     7  = x_87\n",
      "                     114k         60    5         1  = x_113\n",
      "                     110k        326    6   F     9 != x_125\n",
      "                     121k        314    7   F     1 != y_93\n",
      "                     117k        136    8         3 != x_90\n",
      "                     114k        280    1         0  = pr_46\n",
      "                     109k        319    2   F     3 != x_95\n",
      "                     111k        311    6         4 != x_85\n",
      "                     122k        141    7   F     3  = x_39\n",
      "                     118k        136    8            -\n",
      "                     115k        297    1         0  = y_144\n",
      "                     115k        164    3         0  = y_81\n",
      "                     111k        296    4   F     4 != x_36\n",
      "                     115k        164    5         0  = y_81\n",
      "                     119k        209    8   F     6  = x_1\n",
      "                     116k        285    1   F     1  = y_144\n",
      "                     110k        290    2         6  = x_95\n",
      " ! Time = 578.95s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     123k        141    7   F     2 != x_37\n",
      "                     120k        209    8         0 != y_42\n",
      "                     117k        320    1         7  = x_56\n",
      "                     111k        121    2        33 != x_42\n",
      "                     121k        210    8   F     4  = x_38\n",
      "                     112k        130    2         2  = x_84\n",
      "                     116k        306    3        16  = x_87\n",
      "                     112k        321    4   F     9 != x_36\n",
      "                     116k        306    5        16  = x_87\n",
      "                     112k        310    6         6 != x_1\n",
      "                     124k        320    7   F     7  = x_37\n",
      "                     118k        293    1         1  = x_43\n",
      "                     122k        413    8         0 != x_92\n",
      "                     119k        203    1         7  = x_0\n",
      "                     113k        292    4         0 != x_90\n",
      "                     125k        302    7         1  = y_139\n",
      "                     120k        141    1         3 != x_45\n",
      "                     114k        292    4         0  = y_143\n",
      "                     126k        202    7         3  = y_130\n",
      "                     123k        163    8         3 != x_141\n",
      " ! Time = 598.15s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     121k        142    1   F     5 != x_120\n",
      "                     113k        331    2   F     3  = x_84\n",
      "                     117k        306    3   F    14 != x_139\n",
      "                     117k        306    5   F    14 != x_139\n",
      "                     113k        310    6         0  = pr_63\n",
      "                     127k        332    7   F     0  = x_89\n",
      "                     124k        149    8   F     9  = x_4\n",
      "                     115k        295    4         0  = y_80\n",
      "                     114k         72    6         0  = y_127\n",
      "                     128k        329    7         2 != y_85\n",
      "                     125k        149    8            -\n",
      "                     114k        301    2         6  = x_86\n",
      "                     118k        306    3         0  = pr_60\n",
      "                     116k        291    4   F    12 != x_139\n",
      "                     118k        306    5         0  = pr_60\n",
      "                     115k        269    6   F     8  = x_93\n",
      "                     129k        321    7   F     1  = y_8\n",
      "                     126k        221    8   F    12 != x_52\n",
      "                     122k        319    1         1  = y_6\n",
      "                     115k        301    2         1  = y_15\n",
      " ! Time = 613.91s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     130k        319    7        34  = z_195\n",
      "                     127k        238    8         2 != x_51\n",
      "                     119k        186    3         1  = x_78\n",
      "                     117k        306    4        13 != x_87\n",
      "                     119k        186    5         1  = x_78\n",
      "                     131k        141    7   F     3  = x_44\n",
      "                     123k        263    1         4 != x_87\n",
      "                     116k        289    2   F     0 != x_36\n",
      "                     120k        186    3         3  = x_83\n",
      "                     120k        186    5         3  = x_83\n",
      "                     116k        269    6   F     0 != x_120\n",
      "                     132k        142    7   F    20  = x_50\n",
      "                     128k        253    8         4 != x_94\n",
      "                     118k        313    4         2  = x_97\n",
      "                     129k        367    8         8 != x_36\n",
      "                     124k        341    1         4  = x_88\n",
      "                     117k        325    2   F     1 != y_11\n",
      "                     117k        269    6   F     2 != x_87\n",
      "                     133k        298    7   F     7  = x_37\n",
      "                     130k        161    8   F     8 != x_2\n",
      " ! Time = 631.30s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     118k        290    2         4 != x_97\n",
      "                     121k        186    3   F    14  = x_141\n",
      "                     119k        297    4   F     9 != x_38\n",
      "                     121k        186    5   F    14  = x_141\n",
      "                     131k        160    8   F     1  = x_88\n",
      "                     125k        312    1   F     4 != x_88\n",
      "                     119k        141    2         3 != x_49\n",
      "                     120k        297    4         0  = x_38\n",
      "                     118k        185    6         2 != x_84\n",
      "                     134k        303    7   F     3 != x_68\n",
      "                     126k        287    1        11 != x_87\n",
      "                     120k        140    2   F     3  = x_43\n",
      "                     119k        185    6   F     2  = x_84\n",
      "                     135k        299    7   F     3 != x_7\n",
      "                     132k        128    8         1  = y_113\n",
      "                     127k        288    1   F     1  = y_88\n",
      "                     122k        302    3        14  = x_53\n",
      "                     121k        299    4         2  = x_143\n",
      "                     122k        302    5        14  = x_53\n",
      "                     120k        185    6        17  = x_29\n",
      " ! Time = 645.05s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     136k        272    7         3 != x_87\n",
      "                     133k        222    8        16 != x_30\n",
      "                     128k        196    1         0  = pr_112\n",
      "                     121k        141    2         1 != y_58\n",
      "                     123k        162    3        46 != x_43\n",
      "                     122k        291    4         4  = x_95\n",
      "                     123k        162    5        46 != x_43\n",
      "                     121k         76    6        48  = x_107\n",
      "                     137k        327    7         8 != x_65\n",
      "                     134k        224    8         5 != x_92\n",
      "                     124k        153    3         4 != pr_132\n",
      "                     124k        153    5         4 != pr_132\n",
      "                     122k         60    6   F     0  = x_82\n",
      "                     138k        191    7        24  = x_134\n",
      "                     135k        275    8        65 != z_62\n",
      "                     129k        287    1   F     1 != x_87\n",
      "                     122k        304    2   F     4  = x_1\n",
      "                     123k        291    4   F     9  = x_91\n",
      "                     123k         67    6   F     4  = pr_93\n",
      "                     139k        190    7         3  = y_62\n",
      " ! Time = 656.96s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     136k        117    8   F     3  = x_95\n",
      "                     123k         96    2         2  = y_13\n",
      "                     125k        141    3   F     4 != x_83\n",
      "                     125k        141    5   F     4 != x_83\n",
      "                     124k         38    6   F    27 != x_98\n",
      "                     140k        184    7   F     1 != y_9\n",
      "                     137k        117    8         5 != x_93\n",
      "                     130k        314    1   F     5 != x_96\n",
      "                     126k        182    3   F     2  = x_83\n",
      "                     124k        300    4   F     2 != x_97\n",
      "                     126k        182    5   F     2  = x_83\n",
      "                     125k        112    6         1  = y_85\n",
      "                     141k        321    7   F     1 != y_120\n",
      "                     138k        117    8         4 != x_36\n",
      "                     124k        238    2         6 != x_37\n",
      "                     126k        405    6        37  = z_47\n",
      "                     139k        404    8         2  = x_38\n",
      "                     131k        314    1   F     3 != x_96\n",
      "                     125k        191    2         0  = x_93\n",
      "                     125k        315    4   F     2  = x_97\n",
      " ! Time = 672.58s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     142k        130    7        21 != x_30\n",
      "                     140k        401    8       128  = z_121\n",
      "                     126k        140    2         1 != x_1\n",
      "                     127k        182    3   F     2  = x_84\n",
      "                     126k        290    4         6 != x_118\n",
      "                     127k        182    5   F     2  = x_84\n",
      "                     127k        184    6   F     1  = x_78\n",
      "                     143k         95    7         6  = x_84\n",
      "                     141k        173    8   F     3 != x_121\n",
      "                     132k        284    1   F     6  = x_36\n",
      "                     128k        400    3        26  = x_128\n",
      "                     128k        400    5        26  = x_128\n",
      "                     128k        184    6   F     0 != x_81\n",
      "                     144k        140    7         3  = y_74\n",
      "                     133k        256    1   F     3  = x_120\n",
      "                     129k        482    3        18 != x_128\n",
      "                     127k        298    4   F     3 != x_97\n",
      "                     129k        482    5        18 != x_128\n",
      "                     129k        149    6   F     4  = pr_58\n",
      "                     145k        140    7   F     7  = x_97\n",
      " ! Time = 684.03s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     142k        231    8   F     6  = x_64\n",
      "                     134k        205    1         4  = pr_91\n",
      "                     127k        209    2         7 != x_95\n",
      "                     130k        180    3   F     1  = y_78\n",
      "                     128k        287    4   F     0 != x_38\n",
      "                     130k        180    5   F     1  = y_78\n",
      "                     130k        149    6         3 != x_60\n",
      "                     143k        231    8        47  = x_12\n",
      "                     135k        214    1        16  = x_126\n",
      "                     128k        210    2         5  = x_37\n",
      "                     131k        403    3         5  = x_85\n",
      "                     131k        403    5         5  = x_85\n",
      "                     136k        200    1        34 != x_108\n",
      "                     129k        138    2         0  = y_97\n",
      "                     132k        372    3   F    45  = x_28\n",
      "                     129k        289    4   F     1 != x_60\n",
      "                     132k        372    5   F    45  = x_28\n",
      "                     131k        281    6   F     9  = x_36\n",
      "                     146k        302    7       137  = z_123\n",
      "                     144k        100    8         2  = y_94\n",
      " ! Time = 695.59s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     137k        199    1        10 != x_87\n",
      "                     130k        125    2   F     9  = x_58\n",
      "                     133k        372    3   F     0  = pt_1\n",
      "                     130k        293    4         9  = x_58\n",
      "                     133k        372    5   F     0  = pt_1\n",
      "                     147k        134    7   F     4 != x_97\n",
      "                     145k        319    8   F     9 != x_59\n",
      "                     131k        138    2         0  = x_63\n",
      "                     146k        161    8         0  = x_84\n",
      "                     138k        204    1         9 != x_139\n",
      "                     131k        286    4   F     8 != x_119\n",
      "                     148k        316    7         4 != x_113\n",
      "                     147k        216    8   F    13  = x_128\n",
      "                     132k        251    2         4  = x_36\n",
      "                     132k        293    4         7 != x_87\n",
      "                     132k        296    6         3  = x_61\n",
      "                     148k        227    8   F    32  = x_53\n",
      "                     139k        322    1         4  = x_87\n",
      "                     134k        395    3   F     0 != x_95\n",
      "                     134k        395    5   F     0 != x_95\n",
      " ! Time = 716.32s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     149k        184    7         1  = pr_66\n",
      "                     149k        171    8   F     0  = x_3\n",
      "                     133k        317    2         4  = pr_112\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "                     133k        306    4   F     3  = x_139\n",
      "                     150k        371    8   F     3  = x_121\n",
      "                     150k        300    7       143  = z_2\n",
      "                     151k        371    8         1  = y_120\n",
      "                     140k        238    1         2  = y_15\n",
      "                     134k        335    2   F     6  = x_37\n",
      "                     134k        306    4         4 != x_36\n",
      "                     133k        295    6            -\n",
      "                     152k        357    8         8 != x_38\n",
      "                     141k        234    1         1  = y_62\n",
      "                     135k        335    2   F     0 != y_92\n",
      "                     135k        395    3         5 != x_95\n",
      "                     135k        307    4         7  = x_139\n",
      "                     135k        395    5         5 != x_95\n",
      "                     134k        184    6            -\n",
      "                     151k        295    7         4 != x_36\n",
      "                     153k        357    8   F     3  = x_4\n",
      " ! Time = 734.47s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     142k        234    1         7  = x_119\n",
      "                     136k        312    2        14 != x_40\n",
      "                     136k        181    3         0 != x_112\n",
      "                     136k        181    5         0 != x_112\n",
      "                     135k        236    6         4  = pr_80\n",
      "                     152k        185    7       128  = z_55\n",
      "                     154k         55    8        11 != z_44\n",
      "                     143k        298    1   F     8  = x_93\n",
      "                     137k        311    2   F     1 != x_79\n",
      "                     137k        143    3            -\n",
      "                     136k        303    4   F     4 != x_66\n",
      "                     137k        143    5            -\n",
      "                     136k        142    6         1  = y_74\n",
      "                     155k         44    8   F     1 != x_1\n",
      "                     144k        298    1   F     1 != pr_67\n",
      "                     138k        311    2         1  = pr_10\n",
      "                     138k         59    3   F     8  = x_87\n",
      "                     137k        299    4        31  = z_12\n",
      "                     138k         59    5   F     8  = x_87\n",
      "                     153k        311    7         3  = y_75\n",
      " ! Time = 744.74s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     156k         43    8   F     8  = x_88\n",
      "                     145k        320    1         1  = pr_69\n",
      "                     139k        141    2   F     3  = x_40\n",
      "                     139k         65    3   F    25  = x_73\n",
      "                     139k         65    5   F    25  = x_73\n",
      "                     137k        287    6         5 != x_36\n",
      "                     154k        182    7   F     3  = x_92\n",
      "                     146k        318    1   F     1 != y_139\n",
      "                     140k        141    2       115  = z_150\n",
      "                     140k        145    3   F     1 != x_87\n",
      "                     140k        145    5   F     1 != x_87\n",
      "                     155k        182    7         3 != x_37\n",
      "                     157k        162    8   F     9  = x_92\n",
      "                     147k        142    1   F     3  = x_50\n",
      "                     141k         44    3         8 != x_120\n",
      "                     138k        342    4   F     6  = x_36\n",
      "                     141k         44    5         8 != x_120\n",
      "                     138k        329    6        40  = x_75\n",
      "                     158k        207    8   F    46  = x_41\n",
      "                     148k        139    1         3 != y_90\n",
      " ! Time = 759.76s, Memory usage = 2.9 GB\n",
      " ! Current bound is 0\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "                     139k        102    6   F     6 != x_3\n",
      "                     156k        213    7         3 != x_15\n",
      "                     159k        206    8   F    48  = x_12\n",
      " *           439     159k  759.83s      8      (gap is 100.0%)\n",
      "             439     149k        141    1   F     4  = x_79\n",
      "             439     141k        319    2         5  = x_93\n",
      "             439     142k        224    3         1 != pr_61\n",
      "             439     139k        315    4   F     2 != x_60\n",
      "             439     142k        224    5         1 != pr_61\n",
      "             439     140k        172    6         1  = x_59\n",
      "             439     157k        206    7         5 != x_81\n",
      "             439     160k          1    8         9  = x_94\n",
      "             439     150k        293    1   F     2 != x_91\n",
      "             439     143k        142    3        17 != x_128\n",
      "             439     140k        299    4   F     4  = x_91\n",
      "             439     143k        142    5        17 != x_128\n",
      "             439     161k        232    8   F    13 != x_30\n",
      "             439     151k        285    1         4  = y_58\n",
      "             439     142k        279    2   F     2  = x_55\n",
      "             439     144k        272    3            -\n",
      " ! Time = 771.47s, Average fail depth = 32, Memory usage = 2.9 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             439     144k        272    5            -\n",
      "             439     141k        172    6        13  = x_116\n",
      "             439     158k        197    7         2 != x_78\n",
      "             439     162k         52    8   F    30  = x_128\n",
      "             439     143k        279    2         1  = x_79\n",
      "             439     145k        153    3   F     0  = x_0\n",
      "             439     141k        315    4         7  = x_55\n",
      "             439     145k        153    5   F     0  = x_0\n",
      "             439     142k         72    6         4  = pr_68\n",
      "             439     159k        182    7         1  = pr_9\n",
      "             439     163k        178    8   F     0 != x_86\n",
      "             439     152k        295    1   F     3  = x_108\n",
      "             439     144k        286    2         5 != x_93\n",
      "             439     143k         36    6        11 != x_146\n",
      "             439     164k        174    8   F    39  = x_121\n",
      "             439     153k        300    1         3 != x_96\n",
      "             439     145k        286    2   F     1  = x_79\n",
      "             439     146k        158    3   F     8 != x_145\n",
      "             439     142k        327    4         3 != x_55\n",
      "             439     146k        158    5   F     8 != x_145\n",
      " ! Time = 785.46s, Average fail depth = 32, Memory usage = 2.9 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             439     144k         39    6         4  = x_50\n",
      "             439     160k        241    7   F    11 != x_64\n",
      "             439     165k        229    8   F    39  = x_121\n",
      "             439     154k        298    1   F    26 != x_108\n",
      "             439     146k        200    2        60  = z_134\n",
      "             439     147k        184    3   F     2  = x_83\n",
      "             439     143k        320    4         1  = pr_76\n",
      "             439     147k        184    5   F     2  = x_83\n",
      "             439     145k        139    6   F     0  = x_69\n",
      "             439     166k        229    8         5 != x_36\n",
      "             439     155k        301    1   F     0 != x_93\n",
      "             439     147k        307    2         4  = pr_6\n",
      "             439     146k         55    6        36 != x_68\n",
      "             439     161k        186    7         2  = x_62\n",
      "             439     167k        294    8   F    18 != x_121\n",
      "             439     156k        301    1         2  = y_144\n",
      "             439     148k        277    2   F     4 != x_113\n",
      "             439     148k        184    3   F     8 != x_38\n",
      "             439     144k        293    4         6 != x_38\n",
      "             439     148k        184    5   F     8 != x_38\n",
      " ! Time = 798.50s, Average fail depth = 32, Memory usage = 2.9 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             439     147k         71    6   F     4  = x_63\n",
      "             439     168k        296    8        38 != x_3\n",
      "             439     149k        281    2   F     1  = x_78\n",
      "             439     149k        180    3         5  = x_87\n",
      "             439     145k        282    4        16  = x_2\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "             439     149k        180    5         5  = x_87\n",
      "             439     148k         69    6         4 != pr_8\n",
      "             439     162k        185    7   F     1  = y_92\n",
      "             439     169k        104    8   F     4  = pr_61\n",
      " *           438     156k  801.44s      1      (gap is 100.0%)\n",
      " *           437     156k  801.53s      1      (gap is 100.0%)\n",
      "             437     157k          1    1         1  = x_79\n",
      " *           436     157k  801.59s      1      (gap is 100.0%)\n",
      "             436     150k          5    2         5  = z_67\n",
      "             436     150k        122    3   F     0 != pr_120\n",
      "             436     146k        299    4        38 != x_10\n",
      "             436     150k        122    5   F     0 != pr_120\n",
      "             436     149k         71    6   F     3  = x_144\n",
      "             436     163k         90    7         0  = x_54\n",
      "             436     170k        103    8         4  = z_127\n",
      " ! Time = 804.44s, Average fail depth = 48, Memory usage = 2.9 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      " *           420     157k  804.51s      1      (gap is 100.0%)\n",
      "             420     158k          1    1        17  = x_134\n",
      "             420     151k         79    3        22 != x_11\n",
      "             420     147k        191    4        39  = z_47\n",
      "             420     151k         79    5        22 != x_11\n",
      "             420     164k        119    7         5 != x_119\n",
      "             420     171k        103    8         6  = x_82\n",
      "             420     159k          3    1         7  = x_8\n",
      " *           356     150k  807.48s      2      (gap is 100.0%)\n",
      "             356     151k          1    2        22 != x_66\n",
      "             356     152k         42    3        16  = x_87\n",
      "             356     148k        161    4   F     7 != x_91\n",
      "             356     152k         42    5        16  = x_87\n",
      "             356     165k        196    7   F    14  = x_70\n",
      "             356     172k        295    8   F    36  = x_4\n",
      "             356     160k          3    1         3  = x_93\n",
      "             356     152k         38    2        20  = x_13\n",
      " *           308     152k  810.68s      2      (gap is 100.0%)\n",
      "             308     153k        231    3   F    46  = x_73\n",
      "             308     149k        282    4   F     6  = x_96\n",
      " ! Time = 813.77s, Average fail depth = 64, Memory usage = 2.9 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             308     153k        231    5   F    46  = x_73\n",
      "             308     166k         86    7   F     4 != x_56\n",
      "             308     161k          1    1   F    12 != x_142\n",
      "             308     153k          1    2   F     3 != x_88\n",
      " *           292     153k  813.83s      2      (gap is 100.0%)\n",
      "             292     154k        233    3   F    44 != x_15\n",
      "             292     150k        284    4         2  = x_121\n",
      "             292     154k        233    5   F    44 != x_15\n",
      "             292     150k        309    6         4  = pr_118\n",
      "             292     167k        123    7         1 != x_30\n",
      "             292     173k        305    8         1  = x_52\n",
      "             292     154k          1    2         2  = y_14\n",
      "             292     162k          1    1         8  = x_16\n",
      " *           289     162k  816.85s      1      (gap is 100.0%)\n",
      " *           226     162k  816.91s      1      (gap is 100.0%)\n",
      " *           225     162k  816.97s      1      (gap is 100.0%)\n",
      "             225     155k        360    3   F    47  = x_73\n",
      "             225     151k        172    4         0  = pr_96\n",
      "             225     155k        360    5   F    47  = x_73\n",
      "             225     151k        328    6         0 != pr_133\n",
      " ! Time = 820.16s, Average fail depth = 78, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             225     168k          1    7   F     4  = x_97\n",
      "             225     174k        234    8   F     1  = y_92\n",
      " *           222     154k  820.24s      2      (gap is 100.0%)\n",
      " *           158     154k  820.31s      2      (gap is 100.0%)\n",
      "             158     155k          1    2        52  = z_173\n",
      "             158     163k          1    1         3  = z_31\n",
      "             158     156k        131    3   F     2  = y_74\n",
      "             158     152k        280    4   F     2 != y_96\n",
      "             158     156k        131    5   F     2  = y_74\n",
      "             158     152k        285    6         1 != x_79\n",
      "             158     175k        233    8   F     1 != y_120\n",
      "             158     164k          1    1         0 != x_17\n",
      " *           150     155k  822.47s      2      (gap is 100.0%)\n",
      "             150     156k          1    2         1 != x_92\n",
      "             150     157k        133    3        46 != x_27\n",
      "             150     153k        284    4   F     7 != x_95\n",
      "             150     157k        133    5        46 != x_27\n",
      "             150     153k        343    6        39  = x_29\n",
      "             150     176k        233    8         5  = x_51\n",
      "             150     165k          4    1   F     7  = x_13\n",
      " ! Time = 825.55s, Average fail depth = 78, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             150     157k         82    2   F     3 != x_6\n",
      "             150     158k        360    3   F    45  = x_73\n",
      "             150     154k        116    4         9  = x_125\n",
      "             150     158k        360    5   F    45  = x_73\n",
      "             150     154k         71    6         6 != x_43\n",
      "             150     169k        367    7         1 != x_37\n",
      "             150     177k        266    8        16 != x_108\n",
      "             150     166k          1    1         2  = y_118\n",
      " *           137     157k  829.52s      2      (gap is 100.0%)\n",
      "             137     158k          1    2         1  = y_112\n",
      "             137     159k        134    3   F     0 != pr_46\n",
      "             137     155k         90    4        15  = x_131\n",
      "             137     159k        134    5   F     0 != pr_46\n",
      "             137     155k         72    6        30 != x_44\n",
      "             137     178k        267    8   F     1 != y_45\n",
      "             137     159k        102    2         2  = y_94\n",
      "             137     167k          1    1   F     3  = x_89\n",
      " *           134     159k  832.73s      2      (gap is 100.0%)\n",
      "             134     160k         93    3   F     0 != pr_91\n",
      "             134     156k         39    4         2  = y_30\n",
      " ! Time = 835.39s, Average fail depth = 79, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             134     160k         93    5   F     0 != pr_91\n",
      "             134     156k        184    6        65 != z_74\n",
      "             134     170k        367    7   F     2 != y_88\n",
      "             134     168k          3    1   F     4  = x_69\n",
      " *           118     159k  835.46s      2      (gap is 100.0%)\n",
      "             118     160k          1    2         2  = y_76\n",
      "             118     157k        142    4         9  = x_54\n",
      "             118     157k        104    6         0 != x_116\n",
      "             118     171k        129    7   F    10  = x_31\n",
      "             118     179k        233    8         5  = x_84\n",
      "             118     169k         14    1         4  = z_105\n",
      "             118     161k          1    2         2 != x_11\n",
      "             118     158k          3    4        85  = z_64\n",
      "             118     158k        116    6   F    49  = x_47\n",
      "             118     172k        129    7        17 != x_31\n",
      "             118     170k         13    1   F     3 != y_47\n",
      "             118     162k          3    2   F    35  = x_7\n",
      "             118     161k        220    3   F     2 != y_91\n",
      "             118     159k          3    4         2  = y_113\n",
      "             118     161k        220    5   F     2 != y_91\n",
      " ! Time = 845.56s, Average fail depth = 79, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             118     159k        151    6   F     4  = y_59\n",
      "             118     173k        136    7   F     0 != x_79\n",
      "             118     180k        233    8   F     3 != x_79\n",
      "             118     171k         91    1   F    22  = x_66\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "             118     163k          4    2   F     1  = x_72\n",
      "             118     160k        150    6   F     4  = y_63\n",
      "             118     174k        305    7   F     1  = y_139\n",
      "             118     181k        153    8         3  = z_127\n",
      "             118     172k          4    1   F     0 != x_13\n",
      "             118     164k          1    2       139  = z_93\n",
      "             118     160k          1    4         7  = x_95\n",
      "             118     162k        220    5   F     6 != x_95\n",
      "             118     161k        153    6         5 != x_54\n",
      "             118     175k        319    7   F     1 != y_90\n",
      "             118     182k         98    8        27  = x_41\n",
      "             118     173k          3    1        22  = x_8\n",
      "             118     165k          1    2        22  = x_43\n",
      "             118     162k        220    3   F     6 != x_95\n",
      "             118     161k          6    4         2  = x_3\n",
      "             118     163k        140    5         0  = pr_6\n",
      " ! Time = 855.02s, Average fail depth = 93, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             118     176k        319    7        35  = x_104\n",
      "             118     183k        258    8   F    19  = x_3\n",
      "             118     174k          4    1         2  = y_47\n",
      "             118     166k          1    2   F    26  = x_11\n",
      "             118     163k        140    3         0  = pr_6\n",
      "             118     162k          7    4   F     3 != x_13\n",
      "             118     164k        280    5         1  = x_139\n",
      "             118     177k        141    7   F     3  = x_41\n",
      "             118     184k        267    8         2  = x_91\n",
      "             118     175k         26    1   F    29  = x_132\n",
      "             118     164k        280    3         1  = x_139\n",
      "             118     163k         81    4         2 != x_133\n",
      " *           105     166k  857.90s      2      (gap is 100.0%)\n",
      "             105     167k          1    2        16  = x_132\n",
      "             105     165k         95    3   F    25  = x_3\n",
      "             105     164k         60    4   F     3  = x_84\n",
      "             105     165k         95    5   F    25  = x_3\n",
      "             105     162k        266    6         3 != x_38\n",
      "             105     176k          3    1   F    45  = x_70\n",
      "             105     168k         31    2         0  = x_9\n",
      " ! Time = 860.96s, Average fail depth = 93, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             105     166k        182    3         3 != x_118\n",
      "             105     165k          4    4         9 != x_113\n",
      "             105     166k        182    5         3 != x_118\n",
      "             105     163k        132    6   F     5  = x_87\n",
      "             105     178k        141    7   F     2 != x_37\n",
      "             105     185k        271    8   F     9 != x_91\n",
      "             105     177k          7    1         4  = x_75\n",
      "             105     169k          1    2         6  = x_0\n",
      "             105     170k         58    2         2  = y_113\n",
      "             105     167k        222    3        14  = x_121\n",
      "             105     166k          4    4         3  = y_6\n",
      "             105     167k        222    5        14  = x_121\n",
      "             105     164k        129    6        17  = x_68\n",
      " *           104     177k  868.60s      1      (gap is 100.0%)\n",
      "             104     178k          1    1        49  = x_5\n",
      " *           103     178k  868.70s      1      (gap is 100.0%)\n",
      "             103     171k         49    2   F     1  = x_15\n",
      "             103     168k         52    3   F     9  = x_56\n",
      "             103     167k         37    4   F     1  = x_69\n",
      "             103     168k         52    5   F     9  = x_56\n",
      " ! Time = 870.97s, Average fail depth = 93, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             103     165k        176    6            -\n",
      "             103     179k        303    7   F     6 != x_36\n",
      "             103     186k        272    8   F     0 != pr_72\n",
      "             103     179k          1    1         5 != x_9\n",
      "             103     172k          1    2        24  = x_101\n",
      "             103     169k         44    3   F    45  = x_9\n",
      "             103     168k         37    4   F     1  = x_86\n",
      "             103     169k         44    5   F    45  = x_9\n",
      "             103     166k        218    6        28 != x_49\n",
      "             103     187k        345    8         0  = x_77\n",
      "             103     180k         58    1   F     1 != y_15\n",
      "             103     173k          1    2        28  = z_108\n",
      "             103     170k         50    3        27 != x_31\n",
      "             103     169k         70    4        14  = x_52\n",
      "             103     170k         50    5        27 != x_31\n",
      "             103     167k        218    6   F    21  = x_5\n",
      "             103     188k        346    8         1  = x_94\n",
      "             103     181k         55    1   F    16  = x_75\n",
      "             103     174k          6    2   F     2 != y_133\n",
      "             103     171k        252    3        48 != x_6\n",
      " ! Time = 885.29s, Average fail depth = 93, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             103     170k         79    4   F     5 != x_15\n",
      "             103     171k        252    5        48 != x_6\n",
      "             103     168k        218    6        44 != x_14\n",
      "             103     189k        216    8         6 != x_3\n",
      "             103     182k          5    1   F    47 != x_74\n",
      "             103     175k          6    2   F    20 != x_43\n",
      "             103     172k        252    3         0  = x_75\n",
      "             103     171k         46    4   F    20  = x_13\n",
      "             103     172k        252    5         0  = x_75\n",
      "             103     169k        218    6        46 != x_14\n",
      "             103     180k        343    7   F     5  = x_37\n",
      "             103     190k        286    8   F    80 != pt_1\n",
      "             103     183k         22    1        49 != x_5\n",
      "             103     176k         62    2         1  = pr_48\n",
      "             103     173k        350    3         0  = pr_14\n",
      "             103     172k         62    4   F     5 != x_97\n",
      "             103     173k        350    5         0  = pr_14\n",
      "             103     170k        218    6         4 != x_113\n",
      "             103     191k        302    8   F    80 != pt_1\n",
      "             103     184k         22    1   F    47 != x_69\n",
      " ! Time = 895.76s, Average fail depth = 93, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             103     177k         55    2   F    16  = x_9\n",
      "             103     174k        235    3   F     1  = y_78\n",
      "             103     173k         24    4         5  = x_90\n",
      "             103     174k        235    5   F     1  = y_78\n",
      "             103     171k        270    6   F    80  = pt_1\n",
      "             103     181k        207    7         0  = pt_50\n",
      "             103     192k        153    8   F    21  = x_129\n",
      "             103     185k         70    1   F    11 != x_48\n",
      "             103     178k         55    2         4  = y_65\n",
      "             103     175k        131    3         0 != y_92\n",
      "             103     174k         39    4   F    22  = x_46\n",
      "             103     175k        131    5         0 != y_92\n",
      "             103     172k        152    6         4  = z_167\n",
      "             103     182k        116    7         5  = x_25\n",
      "             103     193k        133    8        13 != x_6\n",
      "             103     186k         70    1        23 != x_44\n",
      "             103     179k         51    2        30  = x_44\n",
      "             103     176k        143    3       140  = z_193\n",
      "             103     175k         39    4         1  = y_119\n",
      "             103     176k        143    5       140  = z_193\n",
      " ! Time = 905.71s, Average fail depth = 93, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             103     173k        106    6        11 != x_53\n",
      "             103     183k        117    7         2  = y_64\n",
      "             103     194k        133    8            -\n",
      "             103     187k         10    1        28  = z_70\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "             103     180k          6    2         0  = pr_15\n",
      "             103     177k        105    3   F     0 != pr_44\n",
      "             103     177k        105    5   F     0 != pr_44\n",
      "             103     174k        104    6        38  = z_96\n",
      "             103     184k        303    7   F     5  = x_94\n",
      "             103     195k        301    8   F     0  = x_88\n",
      "             103     188k          5    1   F    23 != x_69\n",
      "             103     176k          1    4   F    43  = x_9\n",
      "             103     178k        111    5        26 != x_121\n",
      "             103     175k        182    6   F     2  = x_83\n",
      "             103     185k        303    7         1 != x_0\n",
      "             103     196k        304    8   F     0  = x_96\n",
      "             103     189k         41    1         2  = x_103\n",
      "             103     181k         99    2   F     3  = x_74\n",
      "             103     178k        111    3        26 != x_121\n",
      "             103     177k         37    4        59  = z_134\n",
      " ! Time = 912.34s, Average fail depth = 93, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             103     176k        182    6         2 != x_86\n",
      "             103     186k        321    7   F     1 != y_74\n",
      "             103     197k        119    8   F    10  = x_87\n",
      "             103     190k          3    1        34 != x_4\n",
      "             103     182k         86    2        48  = x_73\n",
      "             103     178k         83    4         1  = pr_85\n",
      "             103     179k        290    5         6 != x_141\n",
      "             103     177k        182    6         9  = x_97\n",
      "             103     187k        320    7         1  = x_106\n",
      "             103     198k        347    8        21 != x_53\n",
      "             103     191k         42    1         5  = x_68\n",
      "             103     183k          1    2   F     4 != x_6\n",
      "             103     179k        290    3         6 != x_141\n",
      "             103     179k          9    4   F     2  = y_131\n",
      "             103     188k        281    7   F     2  = x_89\n",
      "             103     192k         80    1         5  = x_84\n",
      "             103     184k         48    2   F     1 != x_67\n",
      "             103     180k          5    4         2 != y_76\n",
      "             103     180k        274    5   F     7  = x_145\n",
      "             103     178k        148    6         0  = pr_91\n",
      " ! Time = 926.71s, Average fail depth = 93, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             103     189k        280    7         1  = y_112\n",
      "             103     199k        230    8         7  = x_92\n",
      "             103     193k         38    1   F    49 != x_5\n",
      "             103     185k         92    2   F    45  = x_73\n",
      "             103     180k        274    3   F     7  = x_145\n",
      "             103     181k          5    4       131  = z_80\n",
      "             103     181k        274    5   F     4  = x_30\n",
      "             103     179k        350    6         0 != x_120\n",
      "             103     190k        282    7        29 != x_125\n",
      "             103     194k         38    1        71  = z_135\n",
      "             103     186k         32    2        49  = x_67\n",
      "             103     181k        274    3   F     4  = x_30\n",
      "             103     182k         51    4         2  = x_37\n",
      "             103     182k        224    5        35 != x_39\n",
      "             103     180k        356    6         0  = x_54\n",
      "             103     191k        280    7        13  = x_141\n",
      "             103     200k        183    8        53  = z_49\n",
      "             103     195k         89    1   F    23  = x_9\n",
      "             103     187k         22    2   F    49  = x_15\n",
      "             103     182k        224    3        35 != x_39\n",
      " ! Time = 947.19s, Average fail depth = 93, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             103     183k          8    4         3 != y_44\n",
      "             103     183k        224    5         0  = pr_54\n",
      "             103     181k        139    6   F     2  = y_55\n",
      "             103     192k        295    7         2  = x_80\n",
      "             103     196k         76    1        49  = z_197\n",
      "             103     188k          8    2   F    32 != x_69\n",
      "             103     183k        224    3         0  = pr_54\n",
      "             103     184k          8    4        53  = z_161\n",
      "             103     182k        139    6         3 != y_42\n",
      "             103     193k        281    7         7  = x_97\n",
      "             103     201k        183    8         1  = x_81\n",
      "             103     197k         53    1        24 != x_67\n",
      "             103     189k         73    2        26  = x_128\n",
      "             103     185k         10    4         2 != y_76\n",
      "             103     184k        187    5         2 != x_84\n",
      "             103     183k        141    6         4  = y_55\n",
      "             103     194k        277    7         2  = y_13\n",
      "             103     202k         93    8         4 != pr_39\n",
      "             103     198k         74    1         1  = y_15\n",
      "             103     190k         92    2         0  = pr_13\n",
      " ! Time = 959.08s, Average fail depth = 93, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             103     184k        187    3         2 != x_84\n",
      "             103     186k          6    4         1  = pr_76\n",
      "             103     184k         52    6         7  = z_106\n",
      "             103     195k          7    7         2 != y_96\n",
      "             103     203k         94    8   F     4  = pr_5\n",
      "             103     199k          3    1        26  = x_75\n",
      "             103     191k         40    2   F    32  = x_74\n",
      "             103     187k         58    4   F     0 != x_9\n",
      "             103     185k        187    5         4 != x_86\n",
      "             103     185k         49    6   F    10  = x_61\n",
      "             103     196k          7    7        37  = x_146\n",
      "             103     204k         97    8            -\n",
      "             103     200k         44    1        16 != x_67\n",
      "             103     192k         38    2   F     1 != x_9\n",
      "             103     185k        187    3         4 != x_86\n",
      "             103     188k         58    4        23  = x_11\n",
      "             103     186k         58    5   F     0 != pr_73\n",
      "             103     186k         50    6   F    17 != x_130\n",
      "             103     197k          5    7         4  = z_127\n",
      "             103     201k          6    1   F     2  = y_81\n",
      " ! Time = 966.37s, Average fail depth = 93, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             103     193k         59    2        20 != x_15\n",
      "             103     186k         58    3   F     0 != pr_73\n",
      "             103     189k         44    4   F    16 != x_11\n",
      "             103     187k         60    5   F    28  = x_131\n",
      "             103     187k        340    6   F    17 != x_125\n",
      "             103     198k          6    7        22  = x_46\n",
      "             103     205k        203    8         0  = pr_62\n",
      "             103     202k          6    1   F    24 != x_67\n",
      "             103     194k         39    2   F     7  = x_89\n",
      "             103     187k         60    3   F    28  = x_131\n",
      "             103     190k         40    4   F    31  = x_74\n",
      "             103     188k         51    5   F     7  = x_93\n",
      "             103     188k        182    6   F     0 != pr_50\n",
      "             103     199k          6    7         5  = x_83\n",
      "             103     206k        206    8         0  = pr_70\n",
      "             103     203k         70    1        26 != x_13\n",
      "             103     195k         56    2         3  = z_167\n",
      "             103     188k         51    3   F     7  = x_93\n",
      "             103     191k         39    4         0  = pr_59\n",
      "             103     189k        180    5        11 != x_144\n",
      " ! Time = 974.81s, Average fail depth = 93, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "             103     189k         95    6        12  = x_144\n",
      "             103     200k         36    7         1  = x_92\n",
      "             103     207k        245    8   F     0  = y_47\n",
      "             103     204k         29    1        26  = x_74\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "             103     196k         80    2   F     3 != x_132\n",
      "             103     189k        180    3        11 != x_144\n",
      "             103     192k         75    4         9  = x_145\n",
      " *            23     204k  974.89s      1      (gap is 100.0%)\n",
      "              23     197k         30    2   F     2  = x_6\n",
      "              23     190k         96    3         4  = x_82\n",
      "              23     193k         50    4   F     6 != x_129\n",
      "              23     190k         96    5         4  = x_82\n",
      "              23     190k         93    6   F        -\n",
      "              23     201k         98    7   F     2  = x_132\n",
      "              23     208k        208    8   F    11  = x_42\n",
      "              23     205k          1    1         4  = x_6\n",
      "              23     198k         30    2   F     3 != x_9\n",
      "              23     191k        184    3            -\n",
      "              23     194k         18    4        21 != x_8\n",
      "              23     191k        184    5            -\n",
      " ! Time = 980.04s, Average fail depth = 93, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "              23     191k        177    6            -\n",
      "              23     202k         29    7         1  = x_9\n",
      "              23     209k        208    8   F    12 != x_49\n",
      "              23     206k          1    1        28 != x_71\n",
      "              23     199k        101    2         1  = y_79\n",
      "              23     195k          5    4   F     3 != x_77\n",
      "              23     192k        148    6   F     3  = y_54\n",
      "              23     203k         28    7        16  = x_132\n",
      "              23     210k        208    8   F    20 != x_28\n",
      "              23     207k         79    1   F    28  = x_131\n",
      "              23     200k         60    2        37  = z_14\n",
      "              23     192k        179    3   F     3 != x_84\n",
      "              23     196k         65    4        18  = x_128\n",
      "              23     192k        179    5   F     3 != x_84\n",
      "              23     193k        149    6         6 != x_51\n",
      "              23     204k         10    7         2  = x_97\n",
      "              23     211k        297    8        20  = x_27\n",
      "              23     208k         56    1         4  = x_1\n",
      "              23     201k        101    2   F     9  = x_133\n",
      "              23     197k         50    4   F     6 != x_9\n",
      " ! Time = 988.00s, Average fail depth = 93, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "              23     194k        452    6   F     1  = y_78\n",
      "              23     205k          4    7         1  = pr_5\n",
      "              23     212k        106    8        10  = x_141\n",
      "              23     209k         70    1   F    41 != x_9\n",
      "              23     202k         69    2         0 != x_74\n",
      "              23     193k        179    3   F     0  = x_79\n",
      "              23     198k         88    4         1 != pr_84\n",
      "              23     193k        179    5   F     0  = x_79\n",
      "              23     195k        380    6            -\n",
      "              23     206k          6    7         1 != y_5\n",
      "              23     213k        202    8         4  = x_141\n",
      "              23     210k          3    1        45  = x_146\n",
      "              23     203k         72    2   F    32  = x_69\n",
      "              23     194k        179    3         0  = pr_42\n",
      "              23     199k         45    4         2  = x_89\n",
      "              23     194k        179    5         0  = pr_42\n",
      "              23     207k          3    7         9  = x_93\n",
      "              23     214k         97    8        85 != z_64\n",
      "              23     211k          3    1         4  = y_56\n",
      "              23     204k         72    2         5  = z_67\n",
      " ! Time = 997.03s, Average fail depth = 93, Memory usage = 3.0 GB\n",
      " ! Current bound is 0 (gap is 100.0%)\n",
      " !          Best Branches  Non-fixed    W       Branch decision\n",
      "              23     195k        110    3        15  = z_44\n",
      "              23     200k         31    4         0  = pr_8\n",
      "              23     195k        110    5        15  = z_44\n",
      "              23     196k        266    6         3 != x_89\n",
      "              23     208k         74    7   F     7 != x_66\n",
      "              23     215k         81    8   F     4  = x_94\n",
      "              23     212k         87    1         0  = pr_144\n",
      "              23     205k         95    2        77  = z_184\n",
      " ! ----------------------------------------------------------------------------\n",
      " ! Search terminated by limit, 21 solutions found.\n",
      " ! Best objective         : 23 (gap is 100.0%)\n",
      " ! Best bound             : 0\n",
      " ! ----------------------------------------------------------------------------\n",
      " ! Number of branches     : 1634885\n",
      " ! Number of fails        : 660340\n",
      " ! Total memory usage     : 3.1 GB (3.1 GB CP Optimizer + 0.0 GB Concert)\n",
      " ! Time spent in solve    : 1001.39s (984.41s engine + 16.98s extraction)\n",
      " ! Search speed (br. / s) : 1660.8\n",
      " ! ----------------------------------------------------------------------------\n"
     ]
    }
   ],
   "source": [
    "sol = m.solve(log_output = True, TimeLimit=1000)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 14,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "-------------------------------------------------------------------------------\n",
      "Model constraints: 606300, variables: integer: 799, interval: 0, sequence: 0\n",
      "Solve status: Feasible\n",
      "Search status: SearchStopped, stop cause: SearchStoppedByLimit\n",
      "Solve time: 1001.38 sec\n",
      "-------------------------------------------------------------------------------\n",
      "Objective values: (23,), bounds: (0,), gaps: (1,)\n",
      "Variables:\n",
      "   pr_0 = 0\n",
      "   pr_1 = 0\n",
      "   pr_2 = 0\n",
      "   pr_3 = 0\n",
      "   pr_4 = 0\n",
      "   pr_5 = 0\n",
      "   pr_6 = 0\n",
      "   pr_7 = 0\n",
      "   pr_8 = 0\n",
      "   pr_9 = 0\n",
      "   pr_10 = 1\n",
      "   pr_11 = 0\n",
      "   pr_12 = 0\n",
      "   pr_13 = 0\n",
      "   pr_14 = 1\n",
      "   pr_15 = 1\n",
      "   pr_16 = 0\n",
      "   pr_17 = 0\n",
      "   pr_18 = 0\n",
      "   pr_19 = 0\n",
      "   pr_20 = 0\n",
      "   pr_21 = 0\n",
      "   pr_22 = 0\n",
      "   pr_23 = 0\n",
      "   pr_24 = 0\n",
      "   pr_25 = 0\n",
      "   pr_26 = 0\n",
      "   pr_27 = 0\n",
      "   pr_28 = 0\n",
      "   pr_29 = 0\n",
      "   pr_30 = 0\n",
      "   pr_31 = 0\n",
      "   pr_32 = 0\n",
      "   pr_33 = 0\n",
      "   pr_34 = 0\n",
      "   pr_35 = 0\n",
      "   pr_36 = 0\n",
      "   pr_37 = 0\n",
      "   pr_38 = 0\n",
      "   pr_39 = 0\n",
      "   pr_40 = 0\n",
      "   pr_41 = 0\n",
      "   pr_42 = 0\n",
      "   pr_43 = 0\n",
      "   pr_44 = 0\n",
      "   pr_45 = 0\n",
      "   pr_46 = 0\n",
      "   pr_47 = 0\n",
      "   pr_48 = 0\n",
      "   pr_49 = 0\n",
      "   pr_50 = 0\n",
      "   pr_51 = 0\n",
      "   pr_52 = 0\n",
      "   pr_53 = 0\n",
      "   pr_54 = 0\n",
      "   pr_55 = 0\n",
      "   pr_56 = 0\n",
      "   pr_57 = 0\n",
      "   pr_58 = 0\n",
      "   pr_59 = 0\n",
      "   pr_60 = 0\n",
      "   pr_61 = 0\n",
      "   pr_62 = 0\n",
      "   pr_63 = 0\n",
      "   pr_64 = 0\n",
      "   pr_65 = 0\n",
      "   pr_66 = 0\n",
      "   pr_67 = 0\n",
      "   pr_68 = 1\n",
      "   pr_69 = 0\n",
      "   pr_70 = 1\n",
      "   pr_71 = 1\n",
      "   pr_72 = 0\n",
      "   pr_73 = 1\n",
      "   pr_74 = 0\n",
      "   pr_75 = 0\n",
      "   pr_76 = 1\n",
      "   pr_77 = 0\n",
      "   pr_78 = 1\n",
      "   pr_79 = 1\n",
      "   pr_80 = 0\n",
      "   pr_81 = 1\n",
      "   pr_82 = 1\n",
      "   pr_83 = 1\n",
      "   pr_84 = 1\n",
      "   pr_85 = 1\n",
      "   pr_86 = 0\n",
      "   pr_87 = 0\n",
      "   pr_88 = 0\n",
      "   pr_89 = 1\n",
      "   pr_90 = 1\n",
      "   pr_91 = 0\n",
      "   pr_92 = 1\n",
      "   pr_93 = 0\n",
      "   pr_94 = 1\n",
      "   pr_95 = 0\n",
      "   pr_96 = 0\n",
      "   pr_97 = 1\n",
      "   pr_98 = 0\n",
      "   pr_99 = 0\n",
      "   pr_100 = 0\n",
      "   pr_101 = 0\n",
      "   pr_102 = 0\n",
      "   pr_103 = 0\n",
      "   pr_104 = 0\n",
      "   pr_105 = 0\n",
      "   pr_106 = 0\n",
      "   pr_107 = 0\n",
      "   pr_108 = 0\n",
      "   pr_109 = 0\n",
      "   pr_110 = 0\n",
      "   pr_111 = 0\n",
      "   pr_112 = 0\n",
      "   pr_113 = 0\n",
      "   pr_114 = 0\n",
      "   pr_115 = 0\n",
      "   pr_116 = 0\n",
      "   pr_117 = 0\n",
      "   pr_118 = 0\n",
      "   pr_119 = 0\n",
      "   pr_120 = 0\n",
      "   pr_121 = 0\n",
      "   pr_122 = 0\n",
      "   pr_123 = 0\n",
      "   pr_124 = 0\n",
      "   pr_125 = 0\n",
      "   pr_126 = 0\n",
      "   pr_127 = 0\n",
      "   pr_128 = 0\n",
      "   pr_129 = 1\n",
      "   pr_130 = 1\n",
      "   pr_131 = 1\n",
      "   pr_132 = 0\n",
      "   pr_133 = 0\n",
      "   pr_134 = 0\n",
      "   pr_135 = 0\n",
      "   pr_136 = 0\n",
      "   pr_137 = 0\n",
      "   pr_138 = 0\n",
      "   pr_139 = 0\n",
      "   pr_140 = 0\n",
      "   pr_141 = 0\n",
      "   pr_142 = 0\n",
      "   pr_143 = 0\n",
      "   pr_144 = 0\n",
      "   pr_145 = 0\n",
      "   pr_146 = 0\n",
      "   pr_147 = 0\n",
      "   pr_148 = 0\n",
      "   pr_149 = 0\n",
      "   pt_0 = 0\n",
      "   pt_1 = 0\n",
      "   pt_2 = 0\n",
      "   pt_3 = 0\n",
      "   pt_4 = 0\n",
      "   pt_5 = 0\n",
      "   pt_6 = 0\n",
      "   pt_7 = 0\n",
      "   pt_8 = 0\n",
      "   pt_9 = 0\n",
      "   pt_10 = 0\n",
      "   pt_11 = 0\n",
      "   pt_12 = 0\n",
      "   pt_13 = 0\n",
      "   pt_14 = 0\n",
      "   pt_15 = 0\n",
      "   pt_16 = 0\n",
      "   pt_17 = 0\n",
      "   pt_18 = 0\n",
      "   pt_19 = 0\n",
      "   pt_20 = 0\n",
      "   pt_21 = 0\n",
      "   pt_22 = 0\n",
      "   pt_23 = 0\n",
      "   pt_24 = 0\n",
      "   pt_25 = 0\n",
      "   pt_26 = 0\n",
      "   pt_27 = 0\n",
      "   pt_28 = 0\n",
      "   pt_29 = 0\n",
      "   pt_30 = 0\n",
      "   pt_31 = 0\n",
      "   pt_32 = 0\n",
      "   pt_33 = 0\n",
      "   pt_34 = 0\n",
      "   pt_35 = 0\n",
      "   pt_36 = 0\n",
      "   pt_37 = 0\n",
      "   pt_38 = 0\n",
      "   pt_39 = 0\n",
      "   pt_40 = 0\n",
      "   pt_41 = 0\n",
      "   pt_42 = 0\n",
      "   pt_43 = 0\n",
      "   pt_44 = 0\n",
      "   pt_45 = 0\n",
      "   pt_46 = 0\n",
      "   pt_47 = 0\n",
      "   pt_48 = 0\n",
      "   pt_49 = 0\n",
      "   pt_50 = 0\n",
      "   pt_51 = 0\n",
      "   pt_52 = 0\n",
      "   pt_53 = 0\n",
      "   pt_54 = 0\n",
      "   pt_55 = 0\n",
      "   pt_56 = 0\n",
      "   pt_57 = 0\n",
      "   pt_58 = 0\n",
      "   pt_59 = 0\n",
      "   pt_60 = 0\n",
      "   pt_61 = 0\n",
      "   pt_62 = 0\n",
      "   pt_63 = 0\n",
      "   pt_64 = 0\n",
      "   pt_65 = 0\n",
      "   pt_66 = 0\n",
      "   pt_67 = 0\n",
      "   pt_68 = 0\n",
      "   pt_69 = 0\n",
      "   pt_70 = 0\n",
      "   pt_71 = 0\n",
      "   pt_72 = 0\n",
      "   pt_73 = 0\n",
      "   pt_74 = 0\n",
      "   pt_75 = 0\n",
      "   pt_76 = 0\n",
      "   pt_77 = 0\n",
      "   pt_78 = 0\n",
      "   pt_79 = 0\n",
      "   pt_80 = 0\n",
      "   pt_81 = 0\n",
      "   pt_82 = 0\n",
      "   pt_83 = 0\n",
      "   pt_84 = 0\n",
      "   pt_85 = 0\n",
      "   pt_86 = 0\n",
      "   pt_87 = 0\n",
      "   pt_88 = 0\n",
      "   pt_89 = 0\n",
      "   pt_90 = 0\n",
      "   pt_91 = 0\n",
      "   pt_92 = 0\n",
      "   pt_93 = 0\n",
      "   pt_94 = 0\n",
      "   pt_95 = 0\n",
      "   pt_96 = 0\n",
      "   pt_97 = 0\n",
      "   pt_98 = 0\n",
      "   pt_99 = 0\n",
      "   pt_100 = 0\n",
      "   pt_101 = 0\n",
      "   pt_102 = 0\n",
      "   pt_103 = 0\n",
      "   pt_104 = 0\n",
      "   pt_105 = 0\n",
      "   pt_106 = 0\n",
      "   pt_107 = 0\n",
      "   pt_108 = 0\n",
      "   pt_109 = 0\n",
      "   pt_110 = 0\n",
      "   pt_111 = 0\n",
      "   pt_112 = 0\n",
      "   pt_113 = 0\n",
      "   pt_114 = 0\n",
      "   pt_115 = 0\n",
      "   pt_116 = 0\n",
      "   pt_117 = 0\n",
      "   pt_118 = 0\n",
      "   pt_119 = 0\n",
      "   pt_120 = 0\n",
      "   pt_121 = 0\n",
      "   pt_122 = 0\n",
      "   pt_123 = 0\n",
      "   pt_124 = 0\n",
      "   pt_125 = 0\n",
      "   pt_126 = 0\n",
      "   pt_127 = 0\n",
      "   pt_128 = 0\n",
      "   pt_129 = 0\n",
      "   pt_130 = 0\n",
      "   pt_131 = 0\n",
      "   pt_132 = 0\n",
      "   pt_133 = 0\n",
      "   pt_134 = 0\n",
      "   pt_135 = 0\n",
      "   pt_136 = 0\n",
      "   pt_137 = 0\n",
      "   pt_138 = 0\n",
      "   pt_139 = 0\n",
      "   pt_140 = 0\n",
      "   pt_141 = 0\n",
      "   pt_142 = 0\n",
      "   pt_143 = 0\n",
      "   pt_144 = 0\n",
      "   pt_145 = 0\n",
      "   pt_146 = 0\n",
      "   pt_147 = 0\n",
      "   pt_148 = 0\n",
      "   pt_149 = 0\n",
      "   x_0 = 5\n",
      "   x_1 = 9\n",
      "   x_2 = 25\n",
      "   x_3 = 20\n",
      "   x_4 = 10\n",
      "   x_5 = 49\n",
      "   x_6 = 4\n",
      "   x_7 = 33\n",
      "   x_8 = 45\n",
      "   x_9 = 0\n",
      "   x_10 = 0\n",
      "   x_11 = 6\n",
      "   x_12 = 16\n",
      "   x_13 = 2\n",
      "   x_14 = 29\n",
      "   x_15 = 2\n",
      "   x_16 = 0\n",
      "   x_17 = 7\n",
      "   x_18 = 13\n",
      "   x_19 = 14\n",
      "   x_20 = 10\n",
      "   x_21 = 6\n",
      "   x_22 = 2\n",
      "   x_23 = 4\n",
      "   x_24 = 1\n",
      "   x_25 = 3\n",
      "   x_26 = 11\n",
      "   x_27 = 38\n",
      "   x_28 = 29\n",
      "   x_29 = 19\n",
      "   x_30 = 16\n",
      "   x_31 = 8\n",
      "   x_32 = 5\n",
      "   x_33 = 20\n",
      "   x_34 = 9\n",
      "   x_35 = 1\n",
      "   x_36 = 4\n",
      "   x_37 = 2\n",
      "   x_38 = 1\n",
      "   x_39 = 18\n",
      "   x_40 = 8\n",
      "   x_41 = 13\n",
      "   x_42 = 34\n",
      "   x_43 = 22\n",
      "   x_44 = 30\n",
      "   x_45 = 9\n",
      "   x_46 = 7\n",
      "   x_47 = 28\n",
      "   x_48 = 11\n",
      "   x_49 = 20\n",
      "   x_50 = 21\n",
      "   x_51 = 12\n",
      "   x_52 = 14\n",
      "   x_53 = 29\n",
      "   x_54 = 2\n",
      "   x_55 = 5\n",
      "   x_56 = 11\n",
      "   x_57 = 3\n",
      "   x_58 = 4\n",
      "   x_59 = 8\n",
      "   x_60 = 9\n",
      "   x_61 = 6\n",
      "   x_62 = 0\n",
      "   x_63 = 6\n",
      "   x_64 = 1\n",
      "   x_65 = 4\n",
      "   x_66 = 47\n",
      "   x_67 = 24\n",
      "   x_68 = 27\n",
      "   x_69 = 23\n",
      "   x_70 = 42\n",
      "   x_71 = 40\n",
      "   x_72 = 1\n",
      "   x_73 = 44\n",
      "   x_74 = 31\n",
      "   x_75 = 26\n",
      "   x_76 = 19\n",
      "   x_77 = 3\n",
      "   x_78 = 2\n",
      "   x_79 = 2\n",
      "   x_80 = 6\n",
      "   x_81 = 5\n",
      "   x_82 = 3\n",
      "   x_83 = 4\n",
      "   x_84 = 5\n",
      "   x_85 = 0\n",
      "   x_86 = 5\n",
      "   x_87 = 13\n",
      "   x_88 = 8\n",
      "   x_89 = 2\n",
      "   x_90 = 9\n",
      "   x_91 = 7\n",
      "   x_92 = 2\n",
      "   x_93 = 2\n",
      "   x_94 = 6\n",
      "   x_95 = 3\n",
      "   x_96 = 5\n",
      "   x_97 = 4\n",
      "   x_98 = 38\n",
      "   x_99 = 3\n",
      "   x_100 = 20\n",
      "   x_101 = 24\n",
      "   x_102 = 17\n",
      "   x_103 = 2\n",
      "   x_104 = 47\n",
      "   x_105 = 31\n",
      "   x_106 = 16\n",
      "   x_107 = 9\n",
      "   x_108 = 6\n",
      "   x_109 = 8\n",
      "   x_110 = 21\n",
      "   x_111 = 0\n",
      "   x_112 = 3\n",
      "   x_113 = 4\n",
      "   x_114 = 4\n",
      "   x_115 = 29\n",
      "   x_116 = 25\n",
      "   x_117 = 8\n",
      "   x_118 = 11\n",
      "   x_119 = 8\n",
      "   x_120 = 7\n",
      "   x_121 = 2\n",
      "   x_122 = 3\n",
      "   x_123 = 1\n",
      "   x_124 = 2\n",
      "   x_125 = 37\n",
      "   x_126 = 16\n",
      "   x_127 = 4\n",
      "   x_128 = 26\n",
      "   x_129 = 1\n",
      "   x_130 = 46\n",
      "   x_131 = 48\n",
      "   x_132 = 5\n",
      "   x_133 = 32\n",
      "   x_134 = 12\n",
      "   x_135 = 15\n",
      "   x_136 = 19\n",
      "   x_137 = 17\n",
      "   x_138 = 23\n",
      "   x_139 = 1\n",
      "   x_140 = 13\n",
      "   x_141 = 0\n",
      "   x_142 = 0\n",
      "   x_143 = 14\n",
      "   x_144 = 11\n",
      "   x_145 = 9\n",
      "   x_146 = 44\n",
      "   x_147 = 49\n",
      "   x_148 = 26\n",
      "   x_149 = 21\n",
      "   y_0 = 2\n",
      "   y_1 = 0\n",
      "   y_2 = 0\n",
      "   y_3 = 0\n",
      "   y_4 = 0\n",
      "   y_5 = 3\n",
      "   y_6 = 3\n",
      "   y_7 = 3\n",
      "   y_8 = 3\n",
      "   y_9 = 3\n",
      "   y_10 = 1\n",
      "   y_11 = 3\n",
      "   y_12 = 3\n",
      "   y_13 = 3\n",
      "   y_14 = 1\n",
      "   y_15 = 1\n",
      "   y_16 = 0\n",
      "   y_17 = 0\n",
      "   y_18 = 0\n",
      "   y_19 = 0\n",
      "   y_20 = 0\n",
      "   y_21 = 0\n",
      "   y_22 = 0\n",
      "   y_23 = 0\n",
      "   y_24 = 0\n",
      "   y_25 = 0\n",
      "   y_26 = 0\n",
      "   y_27 = 0\n",
      "   y_28 = 0\n",
      "   y_29 = 0\n",
      "   y_30 = 2\n",
      "   y_31 = 2\n",
      "   y_32 = 0\n",
      "   y_33 = 0\n",
      "   y_34 = 0\n",
      "   y_35 = 0\n",
      "   y_36 = 0\n",
      "   y_37 = 0\n",
      "   y_38 = 0\n",
      "   y_39 = 3\n",
      "   y_40 = 3\n",
      "   y_41 = 3\n",
      "   y_42 = 3\n",
      "   y_43 = 3\n",
      "   y_44 = 3\n",
      "   y_45 = 3\n",
      "   y_46 = 3\n",
      "   y_47 = 3\n",
      "   y_48 = 3\n",
      "   y_49 = 3\n",
      "   y_50 = 3\n",
      "   y_51 = 0\n",
      "   y_52 = 0\n",
      "   y_53 = 0\n",
      "   y_54 = 4\n",
      "   y_55 = 4\n",
      "   y_56 = 4\n",
      "   y_57 = 4\n",
      "   y_58 = 5\n",
      "   y_59 = 4\n",
      "   y_60 = 5\n",
      "   y_61 = 6\n",
      "   y_62 = 4\n",
      "   y_63 = 4\n",
      "   y_64 = 4\n",
      "   y_65 = 4\n",
      "   y_66 = 3\n",
      "   y_67 = 3\n",
      "   y_68 = 1\n",
      "   y_69 = 3\n",
      "   y_70 = 2\n",
      "   y_71 = 2\n",
      "   y_72 = 3\n",
      "   y_73 = 2\n",
      "   y_74 = 3\n",
      "   y_75 = 3\n",
      "   y_76 = 2\n",
      "   y_77 = 3\n",
      "   y_78 = 1\n",
      "   y_79 = 2\n",
      "   y_80 = 3\n",
      "   y_81 = 2\n",
      "   y_82 = 1\n",
      "   y_83 = 1\n",
      "   y_84 = 1\n",
      "   y_85 = 2\n",
      "   y_86 = 3\n",
      "   y_87 = 0\n",
      "   y_88 = 3\n",
      "   y_89 = 2\n",
      "   y_90 = 2\n",
      "   y_91 = 3\n",
      "   y_92 = 1\n",
      "   y_93 = 3\n",
      "   y_94 = 1\n",
      "   y_95 = 3\n",
      "   y_96 = 3\n",
      "   y_97 = 2\n",
      "   y_98 = 0\n",
      "   y_99 = 0\n",
      "   y_100 = 0\n",
      "   y_101 = 0\n",
      "   y_102 = 0\n",
      "   y_103 = 0\n",
      "   y_104 = 0\n",
      "   y_105 = 0\n",
      "   y_106 = 0\n",
      "   y_107 = 0\n",
      "   y_108 = 0\n",
      "   y_109 = 0\n",
      "   y_110 = 0\n",
      "   y_111 = 0\n",
      "   y_112 = 1\n",
      "   y_113 = 1\n",
      "   y_114 = 0\n",
      "   y_115 = 0\n",
      "   y_116 = 0\n",
      "   y_117 = 0\n",
      "   y_118 = 2\n",
      "   y_119 = 1\n",
      "   y_120 = 1\n",
      "   y_121 = 0\n",
      "   y_122 = 0\n",
      "   y_123 = 0\n",
      "   y_124 = 0\n",
      "   y_125 = 0\n",
      "   y_126 = 1\n",
      "   y_127 = 2\n",
      "   y_128 = 0\n",
      "   y_129 = 1\n",
      "   y_130 = 2\n",
      "   y_131 = 2\n",
      "   y_132 = 3\n",
      "   y_133 = 3\n",
      "   y_134 = 0\n",
      "   y_135 = 0\n",
      "   y_136 = 0\n",
      "   y_137 = 0\n",
      "   y_138 = 0\n",
      "   y_139 = 1\n",
      "   y_140 = 2\n",
      "   y_141 = 0\n",
      "   y_142 = 2\n",
      "   y_143 = 2\n",
      "   y_144 = 1\n",
      "   y_145 = 1\n",
      "   y_146 = 0\n",
      "   y_147 = 0\n",
      "   y_148 = 0\n",
      "   y_149 = 0\n",
      "   z_0 = 1\n",
      "   z_1 = 142\n",
      "   z_2 = 143\n",
      "   z_3 = 81\n",
      "   z_4 = 88\n",
      "   z_5 = 1\n",
      "   z_6 = 142\n",
      "   z_7 = 79\n",
      "   z_8 = 88\n",
      "   z_9 = 114\n",
      "   z_10 = 117\n",
      "   z_11 = 142\n",
      "   z_12 = 32\n",
      "   z_13 = 33\n",
      "   z_14 = 39\n",
      "   z_15 = 50\n",
      "   z_16 = 88\n",
      "   z_17 = 98\n",
      "   z_18 = 108\n",
      "   z_19 = 4\n",
      "   z_20 = 11\n",
      "   z_21 = 27\n",
      "   z_22 = 30\n",
      "   z_23 = 37\n",
      "   z_24 = 40\n",
      "   z_25 = 52\n",
      "   z_26 = 55\n",
      "   z_27 = 67\n",
      "   z_28 = 94\n",
      "   z_29 = 104\n",
      "   z_30 = 126\n",
      "   z_31 = 3\n",
      "   z_32 = 10\n",
      "   z_33 = 19\n",
      "   z_34 = 28\n",
      "   z_35 = 37\n",
      "   z_36 = 42\n",
      "   z_37 = 52\n",
      "   z_38 = 58\n",
      "   z_39 = 70\n",
      "   z_40 = 91\n",
      "   z_41 = 101\n",
      "   z_42 = 126\n",
      "   z_43 = 5\n",
      "   z_44 = 9\n",
      "   z_45 = 20\n",
      "   z_46 = 29\n",
      "   z_47 = 37\n",
      "   z_48 = 43\n",
      "   z_49 = 52\n",
      "   z_50 = 57\n",
      "   z_51 = 69\n",
      "   z_52 = 92\n",
      "   z_53 = 102\n",
      "   z_54 = 126\n",
      "   z_55 = 128\n",
      "   z_56 = 130\n",
      "   z_57 = 135\n",
      "   z_58 = 2\n",
      "   z_59 = 38\n",
      "   z_60 = 45\n",
      "   z_61 = 52\n",
      "   z_62 = 56\n",
      "   z_63 = 68\n",
      "   z_64 = 80\n",
      "   z_65 = 109\n",
      "   z_66 = 112\n",
      "   z_67 = 4\n",
      "   z_68 = 15\n",
      "   z_69 = 25\n",
      "   z_70 = 28\n",
      "   z_71 = 38\n",
      "   z_72 = 44\n",
      "   z_73 = 54\n",
      "   z_74 = 64\n",
      "   z_75 = 76\n",
      "   z_76 = 86\n",
      "   z_77 = 109\n",
      "   z_78 = 110\n",
      "   z_79 = 128\n",
      "   z_80 = 131\n",
      "   z_81 = 136\n",
      "   z_82 = 38\n",
      "   z_83 = 46\n",
      "   z_84 = 54\n",
      "   z_85 = 66\n",
      "   z_86 = 78\n",
      "   z_87 = 90\n",
      "   z_88 = 100\n",
      "   z_89 = 109\n",
      "   z_90 = 111\n",
      "   z_91 = 129\n",
      "   z_92 = 134\n",
      "   z_93 = 139\n",
      "   z_94 = 31\n",
      "   z_95 = 36\n",
      "   z_96 = 38\n",
      "   z_97 = 47\n",
      "   z_98 = 53\n",
      "   z_99 = 61\n",
      "   z_100 = 73\n",
      "   z_101 = 95\n",
      "   z_102 = 105\n",
      "   z_103 = 140\n",
      "   z_104 = 142\n",
      "   z_105 = 4\n",
      "   z_106 = 6\n",
      "   z_107 = 18\n",
      "   z_108 = 28\n",
      "   z_109 = 145\n",
      "   z_110 = 147\n",
      "   z_111 = 84\n",
      "   z_112 = 127\n",
      "   z_113 = 2\n",
      "   z_114 = 82\n",
      "   z_115 = 93\n",
      "   z_116 = 103\n",
      "   z_117 = 113\n",
      "   z_118 = 116\n",
      "   z_119 = 119\n",
      "   z_120 = 127\n",
      "   z_121 = 129\n",
      "   z_122 = 132\n",
      "   z_123 = 137\n",
      "   z_124 = 143\n",
      "   z_125 = 119\n",
      "   z_126 = 121\n",
      "   z_127 = 4\n",
      "   z_128 = 8\n",
      "   z_129 = 22\n",
      "   z_130 = 29\n",
      "   z_131 = 39\n",
      "   z_132 = 48\n",
      "   z_133 = 53\n",
      "   z_134 = 59\n",
      "   z_135 = 71\n",
      "   z_136 = 89\n",
      "   z_137 = 99\n",
      "   z_138 = 122\n",
      "   z_139 = 123\n",
      "   z_140 = 5\n",
      "   z_141 = 14\n",
      "   z_142 = 26\n",
      "   z_143 = 29\n",
      "   z_144 = 37\n",
      "   z_145 = 41\n",
      "   z_146 = 54\n",
      "   z_147 = 63\n",
      "   z_148 = 75\n",
      "   z_149 = 114\n",
      "   z_150 = 118\n",
      "   z_151 = 122\n",
      "   z_152 = 124\n",
      "   z_153 = 3\n",
      "   z_154 = 7\n",
      "   z_155 = 21\n",
      "   z_156 = 28\n",
      "   z_157 = 39\n",
      "   z_158 = 51\n",
      "   z_159 = 145\n",
      "   z_160 = 148\n",
      "   z_161 = 53\n",
      "   z_162 = 60\n",
      "   z_163 = 72\n",
      "   z_164 = 122\n",
      "   z_165 = 125\n",
      "   z_166 = 140\n",
      "   z_167 = 3\n",
      "   z_168 = 16\n",
      "   z_169 = 17\n",
      "   z_170 = 30\n",
      "   z_171 = 146\n",
      "   z_172 = 149\n",
      "   z_173 = 54\n",
      "   z_174 = 65\n",
      "   z_175 = 77\n",
      "   z_176 = 97\n",
      "   z_177 = 107\n",
      "   z_178 = 3\n",
      "   z_179 = 12\n",
      "   z_180 = 23\n",
      "   z_181 = 30\n",
      "   z_182 = 53\n",
      "   z_183 = 62\n",
      "   z_184 = 74\n",
      "   z_185 = 96\n",
      "   z_186 = 106\n",
      "   z_187 = 113\n",
      "   z_188 = 115\n",
      "   z_189 = 120\n",
      "   z_190 = 129\n",
      "   z_191 = 133\n",
      "   z_192 = 138\n",
      "   z_193 = 141\n",
      "   z_194 = 32\n",
      "   z_195 = 35\n",
      "   z_196 = 39\n",
      "   z_197 = 49\n",
      "   z_198 = 85\n"
     ]
    }
   ],
   "source": [
    "sol.print_solution()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 15,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "---no output if all constraints passed---\n"
     ]
    }
   ],
   "source": [
    "check_solution(sol)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 16,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Objective:  23\n",
      "Total runtime:  1001.38 seconds\n"
     ]
    }
   ],
   "source": [
    "print('Objective: ', sol.get_objective_value())\n",
    "print('Total runtime: ', sol.get_solve_time(), 'seconds')"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.7.1"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 5
}