loading SCIP... n: 60 m: 17 packed: 8 density: 40 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 49 52 7 34 57 9 18 25 10 15 29 11 30 51 13 31 54 16 24 48 28 41 44