real 13.82
user 27.29
sys 7.64