loading SCIP... n: 40 m: 41 packed: 10 density: 76 nodes: 0 solverTime: 32 buildTime: 0 solved: false 2 19 23 3 16 33 4 21 36 5 20 25 7 9 31 10 18 32 11 15 24 12 17 28 13 26 29 34 37 39