loading SCIP... n: 40 m: 32 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false 6 10 30 9 12 25 14 15 33 16 28 37 17 18 26 19 21 39 24 32 38 29 31 34