0:10.39 real,9.25 user,1.13 sys