real 10.44
user 17.37
sys 6.30