[Cbc-tickets] [COIN-OR Branch-and-Cut MIP Solver] #63: cbcSolve aborts when using -strengthen in a MIPLIB instance

[COIN-OR Branch-and-Cut MIP Solver]

#63: cbcSolve aborts when using  -strengthen  in a MIPLIB instance
------------------------+---------------------------------------------------
 Reporter:  haroldo     |       Owner:  somebody
     Type:  defect      |      Status:  new     
 Priority:  major       |   Milestone:          
Component:  component1  |     Version:          
 Keywords:              |  
------------------------+---------------------------------------------------
 I've using cbcSolve 2.2 with a MIPLIB 2003 instance:
 http://miplib.zib.de/miplib2003/timtab2.php
 which can be downloaded at:
 http://miplib.zib.de/download/timtab2.mps.gz

 when I call:
 cbcSolve.exe timtab2.mps -strengthen

 the execution aborts prematurely.

 Here goes the stack trace of the execution as reported in VC++ 9.0 :

 >       cbcSolve.exe!OsiBabSolver::solutionAddsCuts()  Line 119 + 0x28
 bytes    C++
         cbcSolve.exe!CbcModel::resolve(CbcNodeInfo * parent=0x00000000,
 int whereFrom=0)  Line 8548 + 0x36 bytes        C++
         cbcSolve.exe!CbcModel::strengthenedModel()  Line 11727 + 0xc bytes
 C++
         cbcSolve.exe!CbcMain1(int argc=3, const char * * argv=0x00332650,
 CbcModel & model={...}, int (CbcModel *, int)* callBack=0x00407040)  Line
 7598 + 0x8 bytes    C++
         cbcSolve.exe!CbcMain1(int argc=3, const char * * argv=0x00332650,
 CbcModel & model={...})  Line 3064 + 0x16 bytes       C++
         cbcSolve.exe!main(int argc=3, const char * * argv=0x00332650)
 Line 230 + 0x14 bytes    C++
         cbcSolve.exe!__tmainCRTStartup()  Line 266 + 0x19 bytes C
         cbcSolve.exe!mainCRTStartup()  Line 182 C
         kernel32.dll!76f74911()
         [Frames below may be incorrect and/or missing, no symbols loaded
 for kernel32.dll]
         ntdll.dll!772ee4b6()
         ntdll.dll!772ee489()
         cbcSolve.exe!ClpCholeskyBase::order(ClpInterior * model=)  Line
 748 + 0x18 bytes        C++

-- 
Ticket URL: <https://projects.coin-or.org/Cbc/ticket/63>
COIN-OR Branch-and-Cut MIP Solver <http://projects.coin-or.org/Cbc>
An LP-based branch-and-cut MIP solver.