n: 30  m: 133 packed: 10 density: 100 nodes: 3992184 solveTime:  48648 buildTime:  88 solved: false