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