n: 30 m: 71 packed: 8 density: 80 nodes: 86126 solveTime: 1398 buildTime: 68 <4,6,8> <2,10,11> <5,9,25> <19,28,29> <1,12,18> <7,20,21> <13,14,15> <3,23,26> 3Cycles: 8 value:8[1]{8}