ndstep main: Use a static optimum in the function

Oops, that was embarassing...
ndstep main: Add _format_solution() pretty-printer, use esp. for intermediate solutions