loading SCIP... n: 40 m: 39 packed: 9 density: 69 nodes: 0 solverTime: 32 buildTime: 0 solved: false 2 28 31 3 12 33 4 8 19 5 15 24 9 18 30 11 14 36 16 35 37 20 27 34 26 38 39