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