loading SCIP... n: 60 m: 52 packed: 13 density: 65 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 43 55 1 7 19 3 4 42 5 23 52 6 25 26 10 21 46 12 35 56 15 31 33 16 18 34 17 41 54 24 29 57 27 30 58 32 36 37