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