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