loading SCIP... n: 60 m: 27 packed: 10 density: 50 nodes: 0 solverTime: 32 buildTime: 0 solved: false 1 14 31 6 15 28 8 16 32 9 23 41 10 34 43 12 19 26 24 44 52 25 30 45 27 42 54 50 51 53