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