0:03.57 real,3.93 user,0.27 sys