loading SCIP... n: 30 m: 24 packed: 7 density: 70 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 9 14 1 5 18 4 21 27 7 10 17 12 19 28 13 24 26 22 23 25