loading SCIP... n: 60 m: 22 packed: 10 density: 50 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 33 52 1 16 17 3 22 46 4 12 28 5 48 50 14 36 53 18 26 37 21 24 59 23 39 51 44 49 56