n: 30 m: 62 packed: 8 density: 80 nodes: 62245 solveTime: 1118 buildTime: 64 <1,19,25> <0,10,27> <7,8,23> <5,9,17> <6,22,29> <3,20,26> <13,14,18> <15,21,24> 3Cycles: 8 value:8[1]{8}