Fix a bug about not float converting in Solver class
Improve output display in Solver class