Added a display of number of branched variables
Added support for timing information from various steps in the global solver