13.7 real         8.7 user         0.8 sys