real 12.98
user 26.37
sys 7.41