real 7.18
user 13.44
sys 2.06