real 9.70
user 9.58
sys 7.72