loading SCIP... n: 30 m: 9 packed: 5 density: 50 nodes: 0 solverTime: 0 buildTime: 0 solved: false 0 1 8 3 5 22 4 11 24 7 26 27 13 14 16