0:12.80 real,12.10 user,0.50 sys