real 10.79
user 17.57
sys 6.25