n: 30 m: 34 packed: 7 density: 70 nodes: 3690 solveTime: 385 buildTime: 51 <2,10,28> <14,19,20> <3,15,27> <5,7,24> <8,16,21> <1,18,25> <0,12,26> 3Cycles: 7 value:7[1]{7}