real 11.82
user 17.16
sys 6.41