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