<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>Hi,</div><div><br></div><div>I am pointing to an old archive: <a href="http://list.coin-or.org/pipermail/cbc/2010-December/000518.html">http://list.coin-or.org/pipermail/cbc/2010-December/000518.html</a></div><div><br></div><div>I have the same issue with Cbc + my own cut generation implementation (using Cgl), which does outer approximation. In <i>CoinWarmStartBasis::applyDiff</i>, I found that the issue occurred when <i>artifCnt > this->getNumArtificial()</i>. And, in my case, this happens after a dummy branch is created in <i>CbcModel::doOneNode</i>. The dummy branch was created because <i>generator_[i]->generateCuts(theseCuts, -1, solver_, NULL) ;</i> returned <i>theseCuts.sizeRowCuts() > 0</i>.</div><div><br></div><div>I am using a 64-bit Mac and g++ 4.8.3. The following is a valgrind report:</div><div><br></div><div><div>==70123== Invalid write of size 4</div><div>==70123== at 0x10054E586: void CoinMemcpyN<unsigned int>(unsigned int const*, int, unsigned int*) (in ./MyTest)</div><div>==70123== by 0x10054D20C: CoinWarmStartBasis::applyDiff(CoinWarmStartDiff const*) (in ./MyTest)</div><div>==70123== by 0x1000EAC8F: CbcPartialNodeInfo::applyToModel(CbcModel*, CoinWarmStartBasis*&, CbcCountRowCut**, int&) const (in ./MyTest)</div><div>==70123== by 0x1000AA8C8: CbcModel::addCuts1(CbcNode*, CoinWarmStartBasis*&) (in ./MyTest)</div><div>==70123== by 0x1000AA9DA: CbcModel::addCuts(CbcNode*, CoinWarmStartBasis*&, bool) (in ./MyTest)</div><div>==70123== by 0x1000C8D1D: CbcModel::doOneNode(CbcModel*, CbcNode*&, CbcNode*&) (in ./MyTest)</div><div>==70123== by 0x10009B677: CbcModel::branchAndBound(int) (in ./MyTest)</div></div><div>..</div><div><div>==70123== Address 0x100d0e948 is 0 bytes after a block of size 8 alloc'd</div><div>==70123== at 0x66BB: malloc (vg_replace_malloc.c:300)</div><div>==70123== by 0x6174CD: operator new(unsigned long) (in /opt/local/lib/libgcc/libstdc++.6.dylib)</div><div>==70123== by 0x10054E008: CoinWarmStartBasis::clone() const (in ./MyTest)</div><div>==70123== by 0x100047B76: CbcFullNodeInfo::applyToModel(CbcModel*, CoinWarmStartBasis*&, CbcCountRowCut**, int&) const (in ./MyTest)</div><div>==70123== by 0x1000AA8C8: CbcModel::addCuts1(CbcNode*, CoinWarmStartBasis*&) (in ./MyTest)</div><div>==70123== by 0x1000AA9DA: CbcModel::addCuts(CbcNode*, CoinWarmStartBasis*&, bool) (in ./MyTest)</div><div>==70123== by 0x1000C8D1D: CbcModel::doOneNode(CbcModel*, CbcNode*&, CbcNode*&) (in ./MyTest)</div><div>==70123== by 0x10009B677: CbcModel::branchAndBound(int) (in ./MyTest)</div></div><div><br></div><div>Any idea to this issue? or has this been resolved after the archive I pointed to above?</div><div><br></div><div>Best,</div><div>Kibaek</div><div><br></div></body></html>