loading SCIP... n: 30 m: 36 packed: 7 density: 70 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 15 21 1 23 26 2 8 27 3 10 22 4 7 29 9 11 14 16 20 24