real 6.47
user 12.91
sys 1.89