real 9.88
user 16.97
sys 6.08