real 10.56
user 17.25
sys 6.31