0:12.94 real,12.63 user,0.70 sys