<div dir="ltr">The attached patch fixes .sol file output for trivially infeasible problems such as <div><br></div><div><div>  var x >= 0;</div><div>  s.t. c: x <= -1;</div></div><div><br></div><div>Currently trying to solve it with couenne gives an error:</div><div><br></div><div><div>  Error at _cmdno 4 executing "solve" command</div><div>  (file test.ampl, line 6, offset 84):</div><div>  Bad line in test.sol:  Couenne (<a href="http://test.nl">test.nl</a> May 18 2015): Infeasible</div></div><div><br></div><div>because the solution format is incorrect (extra blank line at the beginning).</div><div><br></div><div>Best regards,</div><div>Victor</div></div>