loading SCIP... n: 60 m: 27 packed: 8 density: 40 nodes: 0 solverTime: 31 buildTime: 0 solved: false 3 42 50 4 10 24 12 30 39 13 17 21 16 26 47 28 48 54 32 52 57 33 41 59