loading SCIP... n: 60 m: 82 packed: 15 density: 75 nodes: 0 solverTime: 62 buildTime: 0 solved: false 0 15 53 2 11 41 3 7 40 4 9 38 5 30 48 6 31 34 8 33 51 13 21 37 14 19 28 16 35 55 17 29 56 20 22 58 24 42 54 27 32 46 44 52 57