loading SCIP... n: 60 m: 26 packed: 9 density: 45 nodes: 0 solverTime: 31 buildTime: 0 solved: false 2 9 36 7 42 44 10 43 55 16 31 50 24 35 47 25 30 41 26 37 49 29 45 57 32 40 53