loading SCIP... n: 60 m: 19 packed: 8 density: 40 nodes: 0 solverTime: 15 buildTime: 0 solved: false 3 46 52 5 33 48 10 26 27 14 31 38 15 45 57 16 23 44 17 28 34 30 41 50