real 9.85
user 17.26
sys 6.35