real 11.70
user 21.15
sys 6.35