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

[John Forrest]

Should be fixed if you get a new copy of OsiPresolve.cpp using svn.

On 09/09/17 20:48, James Howey wrote:
>
> 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
>
>
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=8ubrGfZJS-62DJCkU2bA2ociMvHG2PCj8zRfCV0zFuU&s=5RQeDkP1DSdeooksoiwygUjPqEkYP2F2d7YWRu60-ow&e=


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20170910/4b6c4aeb/attachment.html>