[Cbc-tickets] Re: [COIN-OR Branch-and-Cut MIP Solver] #3: pop heap asserts

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

#3: pop heap asserts
-------------------------+--------------------------------------------------
  Reporter:  San         |       Owner:  forrest 
      Type:  defect      |      Status:  reopened
  Priority:  major       |   Milestone:          
 Component:  component1  |     Version:          
Resolution:              |    Keywords:          
-------------------------+--------------------------------------------------
Comment (by San):

 If strong branching is set to 0, pop_heap asserts on some problems.

 {{{
 >       performance_test.exe!std::_Debug_message(const wchar_t *
 message=0x00757254, const wchar_t * file=0x007571c8, unsigned int
 line=1677)  Line 23  C++
 performance_test.exe!std::_Debug_heap<std::_Vector_iterator<CbcNode
 *,std::allocator<CbcNode *> >,CbcCompare>(std::_Vector_iterator<CbcNode
 *,std::allocator<CbcNode *> > _First=0x01f9b850 {nodeInfo_=0x01f782f0
 objectiveValue_=-63655024506.492882
 guessedObjectiveValue_=-63655024506.492844 ...},
 std::_Vector_iterator<CbcNode *,std::allocator<CbcNode *> >
 _Last=0xfdfdfdfd {nodeInfo_=??? objectiveValue_=???
 guessedObjectiveValue_=??? ...}, CbcCompare _Pred={...})  Line 1677 + 0x14
 bytes C++
         performance_test.exe!std::pop_heap<std::_Vector_iterator<CbcNode
 *,std::allocator<CbcNode *> >,CbcCompare>(std::_Vector_iterator<CbcNode
 *,std::allocator<CbcNode *> > _First=0x01f862c0 {nodeInfo_=0x01f78be0
 objectiveValue_=-63641573813.759636
 guessedObjectiveValue_=-63641573813.759506 ...},
 std::_Vector_iterator<CbcNode *,std::allocator<CbcNode *> >
 _Last=0xfdfdfdfd {nodeInfo_=??? objectiveValue_=???
 guessedObjectiveValue_=??? ...}, CbcCompare _Pred={...})  Line 1889 + 0x77
 bytes    C++
         performance_test.exe!CbcTree::bestNode(double
 cutoff=1.0000000000000001e+050)  Line 109 + 0x86 bytes    C++
         performance_test.exe!CbcModel::branchAndBound(int doStatistics=0)
 Line 1197 + 0x29 bytes       C++

 }}}

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