real 12.93
user 26.85
sys 7.25