loading SCIP... n: 60 m: 18 packed: 8 density: 40 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 20 46 2 9 11 14 24 59 15 28 43 26 42 57 29 38 55 30 34 52 48 56 58