real 9.74
user 17.68
sys 6.34