0:12.19 real,14.04 user,0.26 sys