loading SCIP... n: 60 m: 25 packed: 9 density: 45 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 16 39 4 20 50 8 13 31 10 49 51 15 26 53 23 47 58 35 54 56 38 48 57 45 52 55