real 13.02
user 26.45
sys 7.05