<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 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 1, 2018 12:49 PM<br></div><div>UTC Time: January 1, 2018 6:49 PM<br></div><div>From: rhavar@protonmail.com<br></div><div>To: John Forrest <john.forrest@fastercoin.com><br></div><div>cbc@list.coin-or.org <cbc@list.coin-or.org><br></div><div><br></div><div>Thanks again John!<br></div><div><br></div><div>I've rerun with "-heuristics off" and it now works. However assuming I've not made a mistake, it's finding a suboptimal solution and suggesting it's optimal. Not sure if it's related. I've tried running with "depth -100" but that didn't change anything.<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 1, 2018 12:32 PM<br></div><div>UTC Time: January 1, 2018 6:32 PM<br></div><div>From: john.forrest@fastercoin.com<br></div><div>To: cbc@list.coin-or.org<br></div><div><br></div><div><br></div><div class="moz-cite-prefix"><div>Rhavar,<br></div><div><br></div><div>Shows that SOS has not been tested much recently.  Not all
      heuristics can deal with SOS.  The one that gives the error should
      be able to but did not redo the SOS when it reduced the size of
      problem.  I will fix.<br></div><div><br></div><div>So with -heuristics off it solves.<br></div><div><br></div><div>John Forrest<br></div><div>On 01/01/18 16:10, Rhavar wrote:<br></div></div><blockquote type="cite"><div>Example:<br></div><div><br></div><div><a href="https://urldefense.proofpoint.com/v2/url?u=https-3A__gist.github.com_RHavar_58d232e8d353fabd9a5cd1060cf996a6&d=DwMDaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=gugG43Uq79QiEm8KfHvIdZRo9qECldJrf0gUud2m1FI&m=hnTRe-ymHmb8VHDQkFRBcghItB615miy9N_s1s7PVfU&s=zVhS_H5tN3KDPesE4hyrv21w38PWT8O8Dd-B-nj7kO8&e=">https://gist.github.com/RHavar/58d232e8d353fabd9a5cd1060cf996a6</a><br></div><div><br></div><div>Reproduce with  `cbc problem.lp solve`<br></div><div><br></div><div>Running with:<br></div><div><br></div><div><span class="s1">Welcome to the CBC MILP Solver<span class="Apple-converted-space"> </span></span><br></div><p class="p1"><span class="s1">Version: 2.9.6<span class="Apple-converted-space"> </span></span><br></p><p class="p1"><span class="s1">Build Date: Dec 22 2017<span class="Apple-converted-space"> </span></span><br></p><p class="p2"><br></p><div>ends up with:<br></div><div><br></div><div><span class="s1">cbc(19780,0x7fffb8236340) malloc: *** error
          for object 0x7fb692934e40: pointer being freed was not
          allocated</span><br></div><p class="p1"><span class="s1">*** set a breakpoint in
          malloc_error_break to debug</span><br></p><p class="p1"><span class="s1">Abort trap: 6</span><br></p><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><div><br></div><div><br></div><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://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwMDaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=gugG43Uq79QiEm8KfHvIdZRo9qECldJrf0gUud2m1FI&m=hnTRe-ymHmb8VHDQkFRBcghItB615miy9N_s1s7PVfU&s=_qGp3xKGz5LPiT_MXHAFwfiCag4a1GP8hw05R5U4lT0&e=">https://list.coin-or.org/mailman/listinfo/cbc</a>
<br></pre></blockquote><p><br></p></blockquote><div><br></div></blockquote><div><br></div>