97 def elapsed_time(task_info):  argument
98     return task_info[1]["elapsed"]
100 def tot_user_time(task_info):  argument
101     return task_info[1]["user"] + task_info[1]["child user"]
103 def tot_sys_time(task_info):  argument
104     return task_info[1]["sys"] + task_info[1]["child sys"]
115     for task_info in task_infos:
116         real = elapsed_time(task_info)
117         user = tot_user_time(task_info)
118         sys = tot_sys_time(task_info)
129               .format(task_info[0],