loading SCIP... n: 50 m: 49 packed: 9 density: 56 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 2 17 1 15 37 5 18 46 9 22 31 11 14 48 19 33 36 20 42 43 29 39 40 41 45 47