loading SCIP... n: 60 m: 15 packed: 8 density: 40 nodes: 0 solverTime: 16 buildTime: 0 solved: false 1 5 25 4 36 39 7 38 54 9 37 46 10 41 43 12 53 55 24 27 49 32 47 50