real 12.97
user 26.37
sys 7.38