loading SCIP... n: 30 m: 42 packed: 7 density: 70 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 4 21 1 24 26 2 14 17 3 13 23 5 25 27 7 9 20 10 18 19