real 8015.19
user 7637.28
sys 56.56