loading SCIP... n: 60 m: 53 packed: 12 density: 60 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 4 38 2 6 59 3 53 54 7 46 51 9 16 20 10 26 50 11 15 57 14 25 29 23 34 48 32 37 58 35 55 56 40 47 49