real 9.56
user 17.13
sys 6.14