0:12.90 real,12.80 user,0.70 sys