real 13.40
user 27.38
sys 7.62