real 6.55
user 12.94
sys 3.23