n: 40 m: 129 packed: 13 density: 97 nodes: 64475041 solveTime: 722567 buildTime: 100 solved: false