real 13.52
user 27.19
sys 7.56