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