n: 30 m: 42 packed: 7 density: 70 nodes: 3311 solveTime: 324 buildTime: 57 <7,9,20> <0,4,21> <3,13,23> <5,25,27> <2,14,17> <15,24,26> <10,18,19> 3Cycles: 7 value:7[1]{7}