Improved console output and added CLI switch for condensed vs. standard solve.