loading SCIP... n: 50 m: 30 packed: 8 density: 50 nodes: 0 solverTime: 15 buildTime: 0 solved: false 4 26 45 5 34 43 6 15 37 12 27 30 14 44 49 16 17 22 19 23 38 24 39 46