real 6.47
user 13.16
sys 3.38