loading SCIP... n: 40 m: 41 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 9 38 2 6 29 7 27 32 8 13 28 10 18 19 14 37 39 15 24 34 25 31 35