I was thinking whether we would like to use proper logging API here but I'm guessing that just for printing timings this should be ok.