displaying the snapshot count + fixing the solver processing time