loading SCIP... n: 30 m: 16 packed: 5 density: 50 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 1 24 3 25 28 6 9 17 10 16 21 19 20 29