real 4377.60
user 44795.27
sys 427.76