n: 40 m: 86 packed: 13 density: 97 nodes: 3726693 solveTime: 37606 buildTime: 79 solved: false