loading SCIP... n: 60 m: 31 packed: 10 density: 50 nodes: 0 solverTime: 32 buildTime: 0 solved: false 2 29 38 3 5 23 4 56 57 9 49 58 10 43 51 15 46 53 16 22 28 17 19 37 35 40 41 45 54 59