loading SCIP... n: 60 m: 37 packed: 13 density: 65 nodes: 0 solverTime: 32 buildTime: 0 solved: false 1 28 51 2 50 52 3 32 58 4 13 31 5 35 41 6 29 47 7 8 27 11 36 37 12 40 57 16 17 30 18 49 53 22 38 59 34 46 55