n: 30 m: 53 packed: 8 density: 80 nodes: 15894 solveTime: 613 buildTime: 65 <2,5,17> <15,28,29> <3,14,21> <7,8,18> <1,13,26> <10,11,23> <0,4,22> <6,12,16> 3Cycles: 8 value:8[1]{8}