real 10.71
user 17.48
sys 6.40