loading SCIP... n: 50 m: 20 packed: 8 density: 50 nodes: 0 solverTime: 15 buildTime: 0 solved: false 3 26 44 4 13 41 8 11 45 9 18 28 10 21 43 16 36 37 24 25 30 35 38 39