real 6.48
user 13.34
sys 3.45