n: 30 m: 25 packed: 7 density: 70 nodes: 830 solveTime: 199 buildTime: 47 <0,23,28> <1,21,26> <7,9,24> <15,25,27> <4,5,11> <12,19,20> <18,22,29> 3Cycles: 7 value:7[1]{7}