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