[sr-dev] git:master:0b2942e1: benchmark: use INFO log level for timer registration (related to GH #3150)