n: 30  m: 88 packed: 10 density: 100 nodes: 424823 solveTime:  4792 buildTime:  68 solved: false