real 12.49
user 26.22
sys 7.06