0:12.00 real,12.65 user,0.43 sys