real 25.72 user 23.79 sys 3.49