loading SCIP... n: 40 m: 27 packed: 7 density: 53 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 5 29 2 34 36 6 25 33 14 24 39 17 27 28 18 26 38 31 35 37