real 12.79
user 26.84
sys 4.35