real 6666.19
user 5480.87
sys 22.98