loading SCIP... n: 40 m: 65 packed: 12 density: 92 nodes: 0 solverTime: 46 buildTime: 0 solved: false 0 27 35 1 31 39 2 21 24 3 10 20 4 5 38 7 22 28 8 17 30 9 15 16 11 12 36 13 26 33 18 19 37 23 25 32