loading SCIP... n: 50 m: 20 packed: 8 density: 50 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 3 39 2 21 45 4 33 44 5 8 30 9 40 46 13 29 34 14 15 43 17 28 31