loading SCIP... n: 50 m: 62 packed: 12 density: 75 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 4 6 2 20 45 3 37 43 7 23 30 8 29 34 9 41 44 10 25 42 13 15 32 16 31 36 17 46 47 18 26 35 21 40 49