Output the running time  too, for extra debugging