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