loading SCIP... n: 60 m: 47 packed: 12 density: 60 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 30 57 1 11 23 3 15 43 5 6 29 7 33 34 8 49 51 10 20 47 18 31 56 19 46 54 21 24 36 40 41 45 44 50 55