loading SCIP... n: 50 m: 29 packed: 10 density: 62 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 31 38 1 3 4 6 20 35 8 11 43 10 24 29 13 15 34 18 26 30 32 42 45 37 48 49 41 44 47