n: 40  m: 183 packed: 13 density: 97 nodes: 1003761555 solveTime:  12128807 buildTime:  125 solved: false