loading SCIP... n: 60 m: 29 packed: 11 density: 55 nodes: 0 solverTime: 32 buildTime: 0 solved: false 1 16 49 2 48 55 3 41 52 5 28 34 6 46 51 11 13 26 12 37 53 15 54 56 18 30 57 21 27 43 22 40 59