loading SCIP... n: 30 m: 20 packed: 5 density: 50 nodes: 0 solverTime: 15 buildTime: 0 solved: false 3 4 19 6 13 27 10 15 17 12 25 28 18 22 26