<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Modified (in stable/2.8 and trunk) to
give 30 characters per variable - hopefully enough.<br>
<br>
John Forrest<br>
<br>
On 12/05/14 20:19, <a class="moz-txt-link-abbreviated" href="mailto:victor.zverovich@gmail.com">victor.zverovich@gmail.com</a> wrote:<br>
</div>
<blockquote
cite="mid:CANawtxbivTs1-q+C_pzHzhaG1YqxrMB6=c+4bOp8+NBzQTUO-w@mail.gmail.com"
type="cite">
<meta http-equiv="Context-Type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div>Hi,</div>
<div><br>
</div>
Trying to solve the attached problem with CBC results in stack
corruption (if assertions disabled) or an assertion failure:
<div><br>
</div>
<div>
<div>$ ./cbc <a moz-do-not-send="true" href="http://test.nl">test.nl</a>
-AMPL</div>
<div>cbc: .../Cbc/src/Cbc_ampl.cpp:1439: void
CoinModel::gdb(int, const char*, const void*): Assertion
`strlen(temp) < 1000' failed.</div>
<div>CBC 2.8.8: Aborted (core dumped)</div>
<div><br>
</div>
<div>Here's the stack trace:<br>
<div><br>
</div>
<div>
<div>__GI_raise() at raise.c:56 0x7ffff6bf0f77<span
class=""> </span></div>
<div>__GI_abort() at abort.c:90 0x7ffff6bf45e8<span
class=""> </span></div>
<div>
__assert_fail_base() at assert.c:92 0x7ffff6be9d43<span
class=""> </span></div>
<div>__GI___assert_fail() at assert.c:101 0x7ffff6be9df2<span
class=""> </span></div>
<div>CoinModel::gdb() at Cbc_ampl.cpp:1,439 0x56a5a5<span
class=""> </span></div>
<div>CoinModel::CoinModel() at Cbc_ampl.cpp:785 0x5673f8<span
class=""> </span></div>
<div>readAmpl() at Cbc_ampl.cpp:539 0x56636b<span class="">
</span></div>
<div>CbcMain1() at CbcSolver.cpp:1,320 0x4e747d<span
class=""> </span></div>
<div>CbcMain1() at CbcSolver.cpp:1,143 0x4e6bf2<span
class=""> </span></div>
<div>main() at CoinSolve.cpp:336 0x4e05f5<span class=""> </span></div>
</div>
<div><br>
</div>
</div>
<div>Best regards,</div>
<div>Victor</div>
</div>
</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="http://list.coin-or.org/mailman/listinfo/cbc">http://list.coin-or.org/mailman/listinfo/cbc</a>
</pre>
</blockquote>
<br>
</body>
</html>