real 12.82
user 27.06
sys 4.40