0:09.47 real,8.53 user,0.92 sys