real 6322.36
user 5376.40
sys 25.52