real 13.05
user 26.80
sys 7.34