real 12.49
user 26.70
sys 4.27