n: 30  m: 86 packed: 10 density: 100 nodes: 742443 solveTime:  8011 buildTime:  71 solved: false