#District calculation: 693.276606 sec user time, 1.856717 system sec, 707.816015 wall sec, 14.424257 g/s
#Best Std: 1557.237761 (gen 9323)
#Best Spread: 5497.000000 (gen 8783)
#Best Km/p: 30.013137 (gen 5749)
#total: 694.444428 sec user time, 1.888713 system sec