real 7.29
user 14.19
sys 3.57