real 3944.42
user 3458.29
sys 18.44