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