loading SCIP... n: 30 m: 18 packed: 5 density: 50 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 21 24 3 10 23 9 20 27 11 17 25 14 19 26