real 12.79
user 26.06
sys 7.00