loading SCIP... n: 30 m: 24 packed: 7 density: 70 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 2 14 1 4 15 7 12 19 8 11 17 10 18 29 20 21 24 22 23 28