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