loading SCIP... n: 60 m: 15 packed: 6 density: 30 nodes: 0 solverTime: 16 buildTime: 0 solved: false 1 33 37 3 27 35 5 48 50 6 26 36 10 25 30 21 42 52