real 6.48
user 12.97
sys 3.27