<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: john.forrest@fastercoin.com<br></div><div>To: Rhavar <rhavar@protonmail.com><br></div><div>cbc@list.coin-or.org <cbc@list.coin-or.org><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">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>