real 13.40
user 26.31
sys 7.20