real 13.49
user 26.88
sys 7.38