<div>I just realized, an easy way to prove the solver is finding a suboptimal solution is by forcing it's hand and adding an additional constraint:<br></div><div><br></div><div>force: i22 = 1<br></div><div><br></div><div>and you will see it returns a better solution that it didn't see before</div><div><br></div><div class="protonmail_signature_block"><div class="protonmail_signature_block-user"><div>-Ryan<br></div></div><div class="protonmail_signature_block-proton protonmail_signature_block-empty"><br></div></div><div><br></div><blockquote type="cite" class="protonmail_quote"><div>-------- Original Message --------<br></div><div>Subject: Suboptimal solution as optimal?<br></div><div>Local Time: December 27, 2017 12:37 PM<br></div><div>UTC Time: December 27, 2017 6:37 PM<br></div><div>From: rhavar@protonmail.com<br></div><div>To: cbc@list.coin-or.org <cbc@list.coin-or.org><br></div><div><br></div><div>I have a problem:<br></div><div><a href="https://gist.github.com/RHavar/dfb9de631363ecb9e1c326fff5ebd09b">https://gist.github.com/RHavar/dfb9de631363ecb9e1c326fff5ebd09b</a><br></div><div><br></div><div>(lp file and solution file attached)<br></div><div><br></div><div>In the solution it says: "Optimal - objective value"  but I think I have found a superior solution by hand:<br></div><div><br></div><div><span class="s1"><span class="Apple-converted-space"> </span>o6 = 1</span><br></div><div>i22 = 1<br></div><div><br></div><div>Which gives a better objective (<span class="s1">70 instead of </span>825)<br></div><div><br></div><div>--<br></div><div><br></div><div>So I guess my question is, does "Optimal - objective value"  mean that it's guaranteed to be the optimal solution? Or am I doing something wrong? Or is there a bug in cbc? <br></div><div><br></div><div><br></div><div class="protonmail_signature_block"><div class="protonmail_signature_block-user"><div>-Ryan<br></div></div><div class="protonmail_signature_block-proton protonmail_signature_block-empty"><br></div></div><div><br></div></blockquote><div><br></div>