real 19934.40
user 14022.06
sys 7386.91