n: 30 m: 25 packed: 7 density: 70 nodes: 998 solveTime: 220 buildTime: 47 <9,12,16> <4,25,29> <3,6,15> <0,2,8> <5,26,27> <1,17,20> <7,21,22> 3Cycles: 7 value:7[1]{7}