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