n: 30 m: 171 packed: 10 density: 100 nodes: 1142057 solveTime: 13167 buildTime: 97 <14,16,19> <1,12,24> <10,13,29> <4,9,21> <5,27,28> <2,20,23> <17,22,25> <0,3,15> <6,8,26> <7,11,18> 3Cycles: 10 value:10[1]{10}