loading SCIP... n: 60 m: 23 packed: 9 density: 45 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 12 16 5 19 41 10 24 39 11 34 36 13 29 56 18 38 53 23 28 59 27 40 55 50 51 54