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