loading SCIP... n: 60 m: 51 packed: 11 density: 55 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 20 58 3 7 38 4 17 53 6 10 47 8 50 51 13 31 57 19 40 48 23 32 36 27 29 39 28 43 52 33 35 56