loading SCIP... n: 60 m: 88 packed: 15 density: 75 nodes: 0 solverTime: 46 buildTime: 0 solved: false 0 26 52 2 38 56 3 32 57 4 12 58 5 6 37 7 24 44 9 16 21 10 11 25 13 34 39 14 28 31 17 45 49 19 23 40 30 48 54 33 43 46 35 36 41