loading SCIP... n: 60 m: 25 packed: 11 density: 55 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 11 51 1 26 56 2 16 55 4 6 30 8 25 44 12 47 52 15 32 58 17 49 50 18 27 54 23 24 37 35 36 46