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