n: 30 m: 43 packed: 8 density: 80 nodes: 7274 solveTime: 494 buildTime: 55 <5,21,28> <9,15,19> <3,16,23> <11,14,27> <12,25,29> <13,17,20> <7,10,18> <0,8,24> 3Cycles: 8 value:8[1]{8}