real 9699.67
user 6609.87
sys 45.40