<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 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="" style="white-space:pre"> </span></div><div>__GI_abort() at abort.c:90 0x7ffff6bf45e8<span class="" style="white-space:pre"> </span></div><div>
__assert_fail_base() at assert.c:92 0x7ffff6be9d43<span class="" style="white-space:pre"> </span></div><div>__GI___assert_fail() at assert.c:101 0x7ffff6be9df2<span class="" style="white-space:pre"> </span></div><div>CoinModel::gdb() at Cbc_ampl.cpp:1,439 0x56a5a5<span class="" style="white-space:pre"> </span></div>
<div>CoinModel::CoinModel() at Cbc_ampl.cpp:785 0x5673f8<span class="" style="white-space:pre"> </span></div><div>readAmpl() at Cbc_ampl.cpp:539 0x56636b<span class="" style="white-space:pre"> </span></div><div>CbcMain1() at CbcSolver.cpp:1,320 0x4e747d<span class="" style="white-space:pre"> </span></div>
<div>CbcMain1() at CbcSolver.cpp:1,143 0x4e6bf2<span class="" style="white-space:pre"> </span></div><div>main() at CoinSolve.cpp:336 0x4e05f5<span class="" style="white-space:pre"> </span></div></div><div><br></div></div>
<div>Best regards,</div><div>Victor</div></div></div>