real 6.77
user 12.91
sys 3.17