Opened 11 years ago

Closed 11 years ago

#63 closed defect (fixed)

cbcSolve aborts when using -strengthen in a MIPLIB instance

Reported by: haroldo Owned by: somebody
Priority: major Component: component1
Version: Keywords:
Cc:

Description

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++

Attachments (2)

timtab2.mps (92.0 KB) - added by haroldo 11 years ago.
timtab2 instance in MPS format
neos7.mps (195.7 KB) - added by haroldo 11 years ago.
another instance where cbcSolve aborts

Download all attachments as: .zip

Change History (3)

Changed 11 years ago by haroldo

timtab2 instance in MPS format

Changed 11 years ago by haroldo

another instance where cbcSolve aborts

comment:1 Changed 11 years ago by forrest

  • Resolution set to fixed
  • Status changed from new to closed

hopefully fixed

Note: See TracTickets for help on using tickets.