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