n: 30 m: 42 packed: 7 density: 70 nodes: 5774 solveTime: 410 buildTime: 53 <0,7,8> <2,6,23> <5,10,28> <16,25,26> <11,17,21> <12,19,22> <3,9,27> 3Cycles: 7 value:7[1]{7}