real 5659.40
user 5571.17
sys 72.89