[Cbc] Suboptimal solution as optimal?

[Rhavar]

I have a problem:
https://gist.github.com/RHavar/dfb9de631363ecb9e1c326fff5ebd09b

(lp file and solution file attached)

In the solution it says: "Optimal - objective value"  but I think I have found a superior solution by hand:

 o6 = 1
i22 = 1

Which gives a better objective (70 instead of 825)

--

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?

-Ryan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20171227/83558898/attachment.html>