real 9.95
user 20.92
sys 3.37