loading SCIP... n: 40 m: 39 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 3 4 24 5 8 23 10 31 33 11 34 35 12 14 17 13 22 32 15 37 38 18 20 39 26 28 36