real 4013.91
user 3331.40
sys 24.43