loading SCIP... n: 40 m: 16 packed: 7 density: 53 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 6 34 1 37 38 2 10 15 5 16 29 7 26 32 11 18 30 19 21 35