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