n: 40 m: 127 packed: 13 density: 97 nodes: 59808642 solveTime: 652234 buildTime: 97 solved: false