loading SCIP... n: 40 m: 27 packed: 7 density: 53 nodes: 0 solverTime: 32 buildTime: 0 solved: false 2 4 10 5 20 33 7 18 31 11 32 35 14 30 34 19 22 29 21 27 38