loading SCIP... n: 60 m: 23 packed: 9 density: 45 nodes: 0 solverTime: 16 buildTime: 0 solved: false 3 45 56 7 16 27 8 35 46 9 10 33 11 43 59 12 18 52 14 47 57 20 41 53 30 37 48