loading SCIP... n: 60 m: 45 packed: 13 density: 65 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 47 56 2 25 41 3 48 52 7 21 33 9 18 45 11 37 43 12 19 57 13 27 38 14 53 54 16 29 36 17 44 50 22 26 39 31 42 46