https://stackoverflow.com/questions/556405/what-do-real-user-and-sys-mean-in-the-output-of-time1