n: 30 m: 47 packed: 10 density: 100 nodes: 13720 solveTime: 493 buildTime: 59 solved: false