real 3183.50 user 2476.57 sys 13.83