real 12.79
user 26.27
sys 6.83