real 10.56
user 17.19
sys 6.16