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