add a duration of cache rebuild datum, suitably display formatted, to stderr