loading SCIP... n: 30 m: 35 packed: 8 density: 80 nodes: 0 solverTime: 0 buildTime: 0 solved: false 0 10 12 2 19 29 3 7 24 4 8 27 5 9 25 13 16 26 15 17 18 20 21 28