loading SCIP... n: 30 m: 21 packed: 5 density: 50 nodes: 0 solverTime: 32 buildTime: 0 solved: false 1 2 15 5 16 19 7 11 26 13 21 22 14 18 24