loading SCIP... n: 30 m: 51 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 7 14 1 18 26 3 10 17 5 13 21 6 22 24 9 12 28 15 19 20 16 23 25