real 11.34
user 17.25
sys 3.58