<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html;
      charset=windows-1252">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">James,</div>
    <div class="moz-cite-prefix"><br>
    </div>
    <div class="moz-cite-prefix">Try again with updated trunk.  I think
      it is connected to previous problems.  What I think happened is
      that the last SOS variable in a set is basic and computed as
      1.0e-9.  This is taken as non-zero as the default SOS tolerance is
      1.0e-14.  If the first variable is non-zero then it will branch
      and fix the last variable to 0.0.  However it looks feasible to
      the LP and so the process is repeated.</div>
    <div class="moz-cite-prefix"><br>
    </div>
    <div class="moz-cite-prefix">Anyway see if changes help.</div>
    <div class="moz-cite-prefix"><br>
    </div>
    <div class="moz-cite-prefix">John<br>
    </div>
    <div class="moz-cite-prefix"><br>
    </div>
    <div class="moz-cite-prefix"><br>
    </div>
    <div class="moz-cite-prefix">On 14/11/2018 00:47, James Howey wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:00ac01d47bb3$a66709c0$f3351d40$@gmail.com">
      <meta http-equiv="Content-Type" content="text/html;
        charset=windows-1252">
      <meta name="Generator" content="Microsoft Word 15 (filtered
        medium)">
      <style><!--
/* Font Definitions */
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0in;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:#0563C1;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:#954F72;
        text-decoration:underline;}
span.EmailStyle17
        {mso-style-type:personal-compose;
        font-family:"Calibri",sans-serif;
        color:windowtext;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-family:"Calibri",sans-serif;}
@page WordSection1
        {size:8.5in 11.0in;
        margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
      <div class="WordSection1">
        <p class="MsoNormal">I have a model that occasionally gets lost
          in the weeds.<o:p></o:p></p>
        <p class="MsoNormal"><o:p> </o:p></p>
        <p class="MsoNormal">Cbc0010I After 6200 nodes, 4814 on tree,
          1e+50 best solution, best possible 0 (97.67 seconds)<o:p></o:p></p>
        <p class="MsoNormal">Cbc0020I Exiting on maximum time<o:p></o:p></p>
        <p class="MsoNormal">Cbc0005I Partial search - best objective
          1e+50 (best possible 0), took 549614 iterations and 6236 nodes
          (100.02 seconds)<o:p></o:p></p>
        <p class="MsoNormal">Cbc0035I Maximum depth 4816, 0 variables
          fixed on reduced cost<o:p></o:p></p>
        <p class="MsoNormal"><o:p> </o:p></p>
        <p class="MsoNormal">My confusion stems from the reported
          maximum depth of 4816. I have only 270 (sos) objects in the
          model.<o:p></o:p></p>
        <p class="MsoNormal"><o:p> </o:p></p>
        <p class="MsoNormal">It would seem that by the time I reach 270
          I could judge this node integer feasible or not, and continue
          in shallower depths. <o:p></o:p></p>
        <p class="MsoNormal"><o:p> </o:p></p>
        <p class="MsoNormal">Is this behavior by design, and if, as I
          suspect, it is, are there situations where this strategy is
          effective? Maybe even my situation?<o:p></o:p></p>
        <p class="MsoNormal"><o:p> </o:p></p>
        <p class="MsoNormal">Additional info: In my situation, there is
          an order to the objects that will reliably give you an
          infeasible/integer solution judgment by the time you reach
          270. I have prioritized the objects in this order and turned
          off strong branching. <o:p></o:p></p>
        <p class="MsoNormal"><o:p> </o:p></p>
        <p class="MsoNormal">What would happen if I hacked the branch
          decision logic to just  never split the last level? Is branch
          logic where I will be spending my time in the future?<o:p></o:p></p>
        <p class="MsoNormal"><o:p> </o:p></p>
        <p class="MsoNormal">Thanks for any light you can shed.<o:p></o:p></p>
        <p class="MsoNormal"><o:p> </o:p></p>
        <p class="MsoNormal">jkh<o:p></o:p></p>
      </div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <pre class="moz-quote-pre" wrap="">_______________________________________________
Cbc mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Cbc@list.coin-or.org">Cbc@list.coin-or.org</a>
<a class="moz-txt-link-freetext" href="https://list.coin-or.org/mailman/listinfo/cbc">https://list.coin-or.org/mailman/listinfo/cbc</a>
</pre>
    </blockquote>
    <p><br>
    </p>
  </body>
</html>