loading SCIP... n: 40 m: 29 packed: 7 density: 53 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 14 30 1 4 34 6 26 33 16 20 35 17 36 39 18 22 27 24 29 37