real 9.56
user 17.18
sys 6.10