n: 21 m: 137 packed: 7 density: 100 nodes: 45514 solveTime: 920 buildTime: 74 <1,6,8> <0,14,20> <11,15,17> <5,7,10> <2,9,19> <3,13,18> <4,12,16> 3Cycles: 7 value:7[1]{7}