real 11856.06
user 12768.43
sys 7197.35