real 11.25
user 17.29
sys 6.17