loading SCIP... n: 60 m: 24 packed: 9 density: 45 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 25 43 1 20 41 2 36 44 5 55 58 11 26 46 16 27 53 21 40 57 23 31 48 28 30 42