real 11.91
user 17.16
sys 6.22