n: 30 m: 42 packed: 8 density: 80 nodes: 10545 solveTime: 517 buildTime: 54 <6,18,21> <4,17,23> <5,9,26> <7,13,29> <3,10,19> <8,11,20> <1,14,27> <12,22,24> 3Cycles: 8 value:8[1]{8}