real 6.45
user 13.38
sys 3.27