Display the number of problems that were solved during branching
Some clean up