n: 30 m: 48 packed: 8 density: 80 nodes: 40223 solveTime: 851 buildTime: 58 <20,28,29> <5,21,27> <9,25,26> <0,2,24> <3,6,13> <8,18,22> <11,12,15> <4,16,23> 3Cycles: 8 value:8[1]{8}