loading SCIP... n: 40 m: 8 packed: 5 density: 38 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 5 21 3 16 35 4 24 28 9 27 39 11 17 26