loading SCIP... n: 40 m: 47 packed: 9 density: 69 nodes: 0 solverTime: 0 buildTime: 0 solved: false 1 6 38 2 28 33 5 16 37 7 22 25 10 13 15 11 19 34 12 29 35 17 20 39 23 24 30