n: 30  m: 31 packed: 10 density: 100 nodes: 1028 solveTime:  206 buildTime:  50 solved: false