loading SCIP... n: 50 m: 43 packed: 10 density: 62 nodes: 0 solverTime: 31 buildTime: 0 solved: false 3 9 33 4 25 40 5 21 24 6 15 23 7 30 35 8 18 32 10 14 43 20 36 39 22 48 49 28 29 46