new method: format_time_pid