real 3551.00 user 2753.11 sys 22.50