loading SCIP... n: 40 m: 26 packed: 8 density: 61 nodes: 0 solverTime: 0 buildTime: 0 solved: false 2 24 30 3 22 34 7 20 31 9 13 38 11 35 37 12 25 27 15 33 36 17 21 39