real 6945.80
user 4576.50
sys 31.36