real 12.98
user 26.40
sys 7.02