loading SCIP... n: 40 m: 8 packed: 6 density: 46 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 3 28 1 21 37 11 13 14 17 30 31 18 24 35 19 27 36