0:12.00 real,6.59 user,0.36 sys