real 4810.32
user 4070.47
sys 30.85