[Cbc] bug report: Assertion failed: file ..\..\..\src\Osi\OsiPresolve.cpp, line 504
James Howey
james.howey at gmail.com
Sat Sep 9 15:56:39 EDT 2017
Resending with txt attachments.
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/1d5272bd/attachment-0001.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: TaxerFail.txt
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20170909/1d5272bd/attachment-0002.txt>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: TaxerSuccess.txt
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20170909/1d5272bd/attachment-0003.txt>
More information about the Cbc
mailing list