changed to more detailed time output in stdout output from different processes