real 7444.22
user 6146.62
sys 31.68