0:09.88 real,12.19 user,0.31 sys