[Cbc] bug report: Assertion failed: file ..\..\..\src\Osi\OsiPresolve.cpp, line 504

[James Howey]

Windows x64 visual c++ debug build cbc 2.9.9

 

command line - cbc TaxerFailure.lp solve solu taxerFailure.txt (default
strategy 1)

 

results in:

 

Assertion failed: status != CoinWarmStartBasis::atLowerBound ||
originalModel_->getColLower()[i] > -originalModel_->getInfinity(), file
..\..\..\src\Osi\OsiPresolve.cpp, line 504

 

After apparently coming to optimum solution. 

 

The same result occurs with an equivalent mps model.

 

Runs to completion with correct optimum in release build 

 

The nearly identical model TaxerSuccess.lp differs in 7 lines and finishes
successfully.

 

Thanks for any attention you might be able to spare to this matter.

 

jkh

 

C:\Users\jhowey\Google
Drive\wealth\cbcdll\Cbc-2.9.9\Cbc\MSVisualStudio\v10\x64-v141-Debug>cbc
TaxerFailure.lp solve solu taxerFailure.txt

Welcome to the CBC MILP Solver

Version: 2.9.9

Build Date: Sep  4 2017

 

command line - cbc TaxerFailure.lp solve solu taxerFailure.txt (default
strategy 1)

CoinLpIO::readLp(): Maximization problem reformulated as minimization

Continuous objective value is -10198 - 0.00 seconds

Cgl0003I 0 fixed, 0 tightened bounds, 5 strengthened rows, 0 substitutions

Cgl0003I 0 fixed, 0 tightened bounds, 1 strengthened rows, 0 substitutions

Cgl0004I processed model has 18 rows, 24 columns (5 integer (5 of which
binary)) and 64 elements

Cbc0038I Initial state - 0 integers unsatisfied sum - 0

Cbc0038I Solution found of -10198

Cbc0038I Relaxing continuous gives -10198

Cbc0038I Before mini branch and bound, 5 integers at bound fixed and 17
continuous

Cbc0038I Mini branch and bound did not improve solution (0.03 seconds)

Cbc0038I After 0.03 seconds - Feasibility pump exiting with objective of
-10198 - took 0.00 seconds

Cbc0012I Integer solution of -10198.02 found by feasibility pump after 0
iterations and 0 nodes (0.03 seconds)

Cbc0001I Search completed - best objective -10198.0198019802, took 0
iterations and 0 nodes (0.03 seconds)

Cbc0035I Maximum depth 0, 0 variables fixed on reduced cost

Cuts at root node changed objective from -10198 to -10198

Probing was tried 0 times and created 0 cuts of which 0 were active after
adding rounds of cuts (0.000 seconds)

Gomory was tried 0 times and created 0 cuts of which 0 were active after
adding rounds of cuts (0.000 seconds)

Knapsack was tried 0 times and created 0 cuts of which 0 were active after
adding rounds of cuts (0.000 seconds)

Clique was tried 0 times and created 0 cuts of which 0 were active after
adding rounds of cuts (0.000 seconds)

MixedIntegerRounding2 was tried 0 times and created 0 cuts of which 0 were
active after adding rounds of cuts (0.000 seconds)

FlowCover was tried 0 times and created 0 cuts of which 0 were active after
adding rounds of cuts (0.000 seconds)

TwoMirCuts was tried 0 times and created 0 cuts of which 0 were active after
adding rounds of cuts (0.000 seconds)

Assertion failed: status != CoinWarmStartBasis::atLowerBound ||
originalModel_->getColLower()[i] > -originalModel_->getInfinity(), file
..\..\..\src\Osi\OsiPresolve.cpp, line 504

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20170909/ca431fb9/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: TaxerFailure.lp
Type: application/octet-stream
Size: 10421 bytes
Desc: not available
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20170909/ca431fb9/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: TaxerSuccess.lp
Type: application/octet-stream
Size: 10387 bytes
Desc: not available
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20170909/ca431fb9/attachment-0003.obj>