solver.cc: use existing << operator for parameter printing.