real 12.92
user 27.09
sys 4.33