loading SCIP... n: 40 m: 65 packed: 11 density: 84 nodes: 0 solverTime: 78 buildTime: 0 solved: false 0 6 18 1 31 39 3 19 25 4 30 36 5 37 38 9 12 32 10 15 29 11 20 34 13 21 26 17 22 27 24 28 35