real 13.09
user 26.95
sys 7.44