loading SCIP... n: 40 m: 30 packed: 7 density: 53 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 22 28 2 17 39 4 14 34 11 16 25 18 27 31 26 35 38 29 33 37