real 10.44
user 17.15
sys 6.32