real 6.90
user 13.35
sys 3.17