real 12.27
user 17.08
sys 6.37