loading SCIP... n: 50 m: 32 packed: 10 density: 62 nodes: 0 solverTime: 16 buildTime: 0 solved: false 2 43 44 8 9 36 10 28 39 11 30 47 12 35 48 14 17 42 16 34 40 18 20 26 21 22 29 25 27 32