real 12.49
user 26.30
sys 4.19