loading SCIP... n: 40 m: 21 packed: 7 density: 53 nodes: 0 solverTime: 16 buildTime: 0 solved: false 1 2 31 5 33 34 7 23 37 9 20 21 12 15 17 16 29 39 19 27 32