loading SCIP... n: 40 m: 32 packed: 7 density: 53 nodes: 0 solverTime: 32 buildTime: 0 solved: false 3 4 37 5 12 22 6 16 33 9 28 29 17 27 30 19 26 34 21 24 39