real 87.40 user 79.33 sys 3.99