loading SCIP... n: 40 m: 36 packed: 9 density: 69 nodes: 0 solverTime: 0 buildTime: 0 solved: false 1 17 26 7 12 33 9 20 34 10 16 35 11 24 32 13 18 38 19 23 39 21 25 37 22 28 30