real 6.77
user 13.44
sys 3.25