real 7259.47
user 6116.21
sys 25.55