real 11647.98
user 8900.88
sys 64.49