n: 30 m: 106 packed: 9 density: 90 nodes: 818520 solveTime: 10331 buildTime: 85 <11,16,19> <3,5,6> <2,12,14> <7,17,22> <10,18,27> <1,8,13> <0,9,28> <23,25,29> <4,15,21> 3Cycles: 9 value:9[1]{9}