real 12.08
user 20.52
sys 5.47