Solve summary

The next piece of output contains details about the solution process.  It is divided into two parts, the first being common to all solvers, and the second being specific to a particular one.