D=16 seed 2 start 0: V_D = 0.84334  K = 0.0667 d_+0.8500, 0.9333 d_-0.8500 + 0.0000 G   int|x|dK = 0.8500
D=16 seed 2 start 9: V_D = 0.84334  K = 0.0667 d_+0.8500, 0.9333 d_-0.8500 + 0.0000 G   int|x|dK = 0.8500
D=16 seed 2 BEST 0.84334
(stopped by hand at 20:35 UTC to free the cores for the F_heavy scan)
