real 9676.03
user 7922.44
sys 47.39