n: 30 m: 47 packed: 8 density: 80 nodes: 13010 solveTime: 598 buildTime: 55 <3,16,27> <9,23,24> <2,10,19> <13,15,22> <4,12,25> <7,8,26> <0,5,17> <11,18,21> 3Cycles: 8 value:8[1]{8}