loading SCIP... n: 50 m: 35 packed: 10 density: 62 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 22 49 3 5 13 8 33 40 9 38 39 11 16 47 12 26 42 14 29 45 17 36 37 19 44 46 20 25 31