loading SCIP... n: 30 m: 30 packed: 7 density: 70 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 18 26 2 11 21 7 10 14 12 25 27 13 15 16 17 19 20 23 24 28