loading SCIP... n: 40 m: 10 packed: 6 density: 46 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 12 19 2 14 26 5 6 39 7 15 34 8 29 35 9 22 32