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