real 10.72
user 17.42
sys 6.36