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