real 11.40
user 20.47
sys 5.67