solver.cc: test parameter printing.