0:12.80 real,12.71 user,0.32 sys