loading SCIP... n: 60 m: 29 packed: 9 density: 45 nodes: 0 solverTime: 15 buildTime: 0 solved: false 6 19 51 7 47 48 16 35 52 21 37 44 22 23 43 24 29 59 33 39 53 41 42 50 45 46 58