real 6.96
user 12.84
sys 3.08