real 10.85
user 17.40
sys 6.24