real 6.35
user 12.94
sys 3.33