loading SCIP... n: 30 m: 41 packed: 7 density: 70 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 10 17 1 5 8 2 12 22 3 23 28 6 9 13 18 25 27 20 21 26