Add number of solved nodes, print info to stdout