0:12.97 real,12.04 user,0.35 sys