real 12.15
user 17.13
sys 6.34