<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">Ryan,<br>
      <br>
      a) still bug with depth - will find and fix.<br>
      b) I don't read the ?documentation? - if you do cbc and then
      depth?? you will see that with no depth set the problem is thought
      to be too big (> 500 variables).  It says to switch off then
      use depth -999.<br>
      <br>
      So my advice to set depth -100 was bad - it tried the small
      B&B at a depth >200 - should be able to find bug.<br>
      <br>
      John<br>
      On 02/01/18 13:59, Rhavar wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:x06xiGY81ABNasMEAOg76gm2cqdLDGGSLcEOcMmAnkt_tYBL8hxhDbE6wFrdeysvFt0iRM-vlmsJiENdwSB17i_6LUXwRPaNrpn8zKLXtdM=@protonmail.com">
      <div>I think you're right. There is probably some bugs in my code
        causing the models to be slightly different. <br>
      </div>
      <div><br>
      </div>
      <div>But try this:  `<span class="s1">cbc no-SOS.lp solve solution
          $`</span><br>
      </div>
      <div><br>
      </div>
      <div><span class="s1">Result - Optimal solution found</span><br>
      </div>
      <p class="p1"><span class="s1">Objective value:<span
            class="Apple-converted-space">                </span>81001582.00000000</span><br>
      </p>
      <div><br>
      </div>
      <div>But trying with `<span class="s1">cbc no-SOS.lp depth -100
          solve solution $`</span><br>
      </div>
      <div><br>
      </div>
      <p class="p2"><span class="s1">Result - Optimal solution found</span><br>
      </p>
      <div><span class="s1">Objective value:<span
            class="Apple-converted-space">                </span>81009832.00000000</span><br>
      </div>
      <div><br>
      </div>
      <div><br>
      </div>
      <div><span class="s1">Giving a worse solution. I wonder if that's
          related to the previous bug you fixed?</span><br>
      </div>
      <div><br>
      </div>
      <div><br>
      </div>
      <div class="protonmail_signature_block">
        <div class="protonmail_signature_block-user">
          <div>-Ryan<br>
          </div>
        </div>
        <div class="protonmail_signature_block-proton
          protonmail_signature_block-empty"><br>
        </div>
      </div>
      <div><br>
      </div>
      <blockquote type="cite" class="protonmail_quote">
        <div>-------- Original Message --------<br>
        </div>
        <div>Subject: Re: [Cbc] Using SOS1 getting malloc: pointer being
          freed was not allocated<br>
        </div>
        <div>Local Time: January 2, 2018 6:02 AM<br>
        </div>
        <div>UTC Time: January 2, 2018 12:02 PM<br>
        </div>
        <div>From: <a class="moz-txt-link-abbreviated" href="mailto:john.forrest@fastercoin.com">john.forrest@fastercoin.com</a><br>
        </div>
        <div>To: Rhavar <a class="moz-txt-link-rfc2396E" href="mailto:rhavar@protonmail.com"><rhavar@protonmail.com></a><br>
        </div>
        <div><a class="moz-txt-link-abbreviated" href="mailto:cbc@list.coin-or.org">cbc@list.coin-or.org</a> <a class="moz-txt-link-rfc2396E" href="mailto:cbc@list.coin-or.org"><cbc@list.coin-or.org></a><br>
        </div>
        <div><br>
        </div>
        <div><br>
        </div>
        <div class="moz-cite-prefix">
          <div>Ryan,<br>
          </div>
          <div><br>
          </div>
          <div>Are you sure they are the same?<br>
          </div>
          <div><br>
          </div>
          <div>I get 80985022 using with-SOS (no_change 1) and 81001582
            using no-SOS.  If they are equivalent then fixing has_change
            to 0 in no-SOS should be same as fixing no_change to 1 in
            with-SOS - but the two LP relaxations have different
            objective values.<br>
          </div>
          <div><br>
          </div>
          <div>John<br>
          </div>
          <div>On 01/01/18 19:06, Rhavar wrote:<br>
          </div>
        </div>
        <blockquote type="cite">
          <div>Sorry, I got that in reverse. <br>
          </div>
          <div><br>
          </div>
          <div><a
              href="https://gist.github.com/RHavar/35479c3f6d7f91963b089615859543a6"
              moz-do-not-send="true">https://gist.github.com/RHavar/35479c3f6d7f91963b089615859543a6</a><br>
          </div>
          <div><br>
          </div>
          <div>The two problems should logically be equivalent to each
            other, however the one with SOS gives a better optimal than
            the one without.<br>
          </div>
          <div><br>
          </div>
          <div><br>
          </div>
          <div><br>
          </div>
          <div class="protonmail_signature_block">
            <div class="protonmail_signature_block-user">
              <div>-Ryan<br>
              </div>
            </div>
            <div class="protonmail_signature_block-proton
              protonmail_signature_block-empty"><br>
            </div>
          </div>
          <div><br>
          </div>
        </blockquote>
      </blockquote>
      <div><br>
      </div>
    </blockquote>
    <p><br>
    </p>
  </body>
</html>