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