0:12.76 real,13.00 user,0.76 sys