real 5.95
user 13.34
sys 1.88