real 11.40
user 21.68
sys 6.35