real 10.14
user 17.40
sys 6.34