real 12.64
user 26.40
sys 4.35