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