real 13.49
user 26.58
sys 6.99