n: 30 m: 42 packed: 8 density: 80 nodes: 16037 solveTime: 591 buildTime: 53 <3,16,21> <4,13,17> <11,15,26> <1,2,27> <18,28,29> <14,20,24> <5,19,22> <7,12,23> 3Cycles: 8 value:8[1]{8}