loading SCIP... n: 30 m: 27 packed: 7 density: 70 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 9 19 1 7 28 3 22 26 4 12 13 8 14 17 15 16 18 21 23 27