real 10.41
user 17.19
sys 6.39