real 13.49
user 26.68
sys 7.44