0:09.72 real,9.43 user,0.50 sys