real 4811.14
user 2687.34
sys 18.57