loading SCIP... n: 60 m: 17 packed: 9 density: 45 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 54 55 1 16 50 6 9 23 10 13 34 17 43 59 19 37 46 21 44 52 24 36 49 26 48 57