loading SCIP... n: 30 m: 26 packed: 6 density: 60 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 21 29 2 3 22 4 12 15 7 11 23 8 14 26 17 24 27