n: 40 m: 113 packed: 13 density: 97 nodes: 22787306 solveTime: 250826 buildTime: 92 solved: false