real 7.57
user 13.18
sys 3.25