https://stackoverflow.com/questions/60618751/understanding-the-input-format-of-minizincs-geost-constraint https://www.minizinc.org/doc-2.7.6/en/lib-globals-packing.html#mzn-ref-globals-packing-geost-bb
https://www.minizinc.org/doc-2.7.6/en/lib-globals-packing.html#mzn-ref-globals-packing-diffn-k
https://planetcalc.com/8634/?master=59x59&rectangles=5x10x1000&heuristic=all