loading SCIP... n: 30 m: 22 packed: 7 density: 70 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 7 16 1 18 25 2 20 28 4 5 23 6 26 29 11 12 22 13 17 21