loading SCIP... n: 40 m: 38 packed: 9 density: 69 nodes: 0 solverTime: 0 buildTime: 0 solved: false 0 20 36 1 25 37 3 6 12 5 9 15 7 19 24 8 21 38 10 33 35 13 18 34 27 30 39