real 7.25
user 12.82
sys 3.20