real 6.86
user 12.93
sys 3.30