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