<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Rhavar,<br>
<br>
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>
<br>
So with -heuristics off it solves.<br>
<br>
John Forrest<br>
On 01/01/18 16:10, Rhavar wrote:<br>
</div>
<blockquote type="cite"
cite="mid:5eTFXXXrrUhmRF4o2Mwk_hUtv5HeHgQviqLRwFdKSDrfhrtwLdgKmR98A_COClS1pBs8Xbu8bMdmMqOfBSl87jLjfDZFpl7TDAzg-SqesZ4=@protonmail.com">
<div>Example:<br>
</div>
<div><br>
</div>
<div><a
href="https://gist.github.com/RHavar/58d232e8d353fabd9a5cd1060cf996a6"
moz-do-not-send="true">https://gist.github.com/RHavar/58d232e8d353fabd9a5cd1060cf996a6</a><br>
</div>
<div><br>
</div>
<div>Reproduce with `cbc problem.lp solve`</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>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<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>