loading SCIP... n: 50 m: 31 packed: 10 density: 62 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 9 14 2 6 25 4 17 39 7 20 42 10 29 45 12 30 36 19 23 48 22 33 49 24 32 43 37 41 44