loading SCIP... n: 50 m: 53 packed: 12 density: 75 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 6 21 1 14 35 3 22 46 7 18 38 10 23 34 11 12 45 13 19 36 15 30 47 16 17 20 27 32 43 28 39 41 29 31 44