real 6.56
user 13.14
sys 3.35