real 6156.64
user 4674.36
sys 29.75