format time output and add verbose option