add verbose output of detailed running time