The time command returns a table like this?
real 0m1.607s
user 0m0.154s
sys 0m0.032s
I am running this inside a shell script. What's the simplest way to process time output so that I get a variable $RUNTIME which holds the sum user + sys in milliseconds?