n: 30 m: 46 packed: 8 density: 80 nodes: 14046 solveTime: 606 buildTime: 55 <12,13,19> <7,8,22> <0,1,18> <3,10,24> <5,23,26> <4,28,29> <2,6,14> <9,17,20> 3Cycles: 8 value:8[1]{8}