real 6.76
user 13.44
sys 3.26