How to time processes in milliseconds from terminal