n: 30 m: 42 packed: 7 density: 70 nodes: 4467 solveTime: 394 buildTime: 54 <0,7,17> <4,11,19> <12,18,21> <13,15,24> <8,9,29> <20,22,23> <5,6,26> 3Cycles: 7 value:7[1]{7}