n: 30 m: 23 packed: 7 density: 70 nodes: 508 solveTime: 145 buildTime: 51 <12,20,21> <5,16,22> <6,7,23> <11,14,17> <2,4,15> <27,28,29> <3,9,18> 3Cycles: 7 value:7[1]{7}