n: 30 m: 42 packed: 7 density: 70 nodes: 6881 solveTime: 468 buildTime: 54 <13,17,22> <15,24,28> <16,19,27> <0,6,11> <1,8,10> <9,12,20> <4,14,29> 3Cycles: 7 value:7[1]{7}