n: 40 m: 127 packed: 13 density: 97 nodes: 56648128 solveTime: 630301 buildTime: 96 solved: false