real 12.89 user 0.03 sys 0.01