loading SCIP... n: 50 m: 45 packed: 11 density: 68 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 3 18 4 20 37 6 12 34 7 23 29 8 13 40 10 31 43 11 21 32 15 30 35 16 25 45 17 36 41 28 39 42