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