real 12.59
user 26.06
sys 4.10