real 10.56
user 17.53
sys 6.29