real 11.74
user 20.78
sys 5.90