real 7807.93
user 6219.39
sys 35.10