loading SCIP... n: 60 m: 12 packed: 8 density: 40 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 7 36 2 23 51 5 11 16 10 28 53 14 27 41 20 33 52 24 44 58 30 31 47