real 9.88
user 17.48
sys 6.51