real 13.40
user 25.97
sys 7.12