0:07.99 real,7.23 user,0.25 sys