real 10.44
user 17.16
sys 6.33