loading SCIP... n: 40 m: 24 packed: 7 density: 53 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 15 35 3 26 34 4 8 18 11 25 30 12 31 32 19 28 29 21 22 39