[mpich-discuss] Question about counting the mutex waiting time