real 9.87
user 17.56
sys 3.65