real 7.66
user 13.49
sys 3.34