real 12.59
user 25.97
sys 4.27