Quantitative info in logging.
Quantitative info in logging.


Former-commit-id: 892999a426cfb3dfcf6b67a83e8d84ebba507e67
karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle