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