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