Solver logging - more table-like output

a unified output line like:
solver  <tab>  result  <tab> 123 iter