loading SCIP... n: 30 m: 69 packed: 7 density: 70 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 4 9 2 15 20 7 24 25 8 11 17 12 21 28 13 14 16 19 23 29