0:12.63 real,12.68 user,0.60 sys