loading SCIP... n: 30 m: 33 packed: 7 density: 70 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 7 18 1 17 27 2 8 26 3 9 29 4 5 12 11 19 25 15 16 22