loading SCIP... n: 30 m: 163 packed: 9 density: 90 nodes: 0 solverTime: 125 buildTime: 0 solved: false 0 6 7 1 2 22 4 9 25 5 10 20 8 11 15 13 17 23 14 19 28 18 26 27 21 24 29