real 7478.81
user 6135.37
sys 25.60