loading SCIP... n: 60 m: 17 packed: 8 density: 40 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 5 28 2 47 52 3 53 55 4 13 37 7 10 22 14 20 31 17 18 27 19 21 46