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