real 6.90
user 13.25
sys 1.85