Formatting most of the files.  Adding timing metrics to the solver