loading SCIP... n: 30 m: 25 packed: 7 density: 70 nodes: 0 solverTime: 46 buildTime: 0 solved: false 0 11 24 1 6 7 4 8 28 5 19 20 9 15 23 14 17 22 18 25 29