loading SCIP... n: 40 m: 31 packed: 9 density: 69 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 28 34 2 10 32 6 18 35 9 11 36 12 13 22 15 23 39 17 20 25 21 26 31 27 33 38