real 9.88
user 17.51
sys 5.90