real 6.46
user 13.49
sys 3.03