Benchmarking MiniZinc and the LinkedIn Queens Problem | Not Hacker News!