real 6008.00
user 2850.68
sys 22.75