loading SCIP... n: 60 m: 55 packed: 12 density: 60 nodes: 0 solverTime: 47 buildTime: 0 solved: false 1 33 55 4 29 32 7 11 21 9 37 56 10 38 49 12 20 27 16 41 54 18 40 42 24 46 52 25 31 58 26 39 51 30 53 59