loading SCIP... n: 40 m: 23 packed: 8 density: 61 nodes: 0 solverTime: 32 buildTime: 0 solved: false 2 35 36 3 23 26 4 20 27 8 17 37 13 15 24 16 29 31 19 33 38 25 32 34