real 13.03
user 26.78
sys 7.40