real 11.95
user 17.44
sys 6.38