n: 40  m: 173 packed: 13 density: 97 nodes: 584085149 solveTime:  6925487 buildTime:  116 solved: false