loading SCIP... n: 60 m: 47 packed: 14 density: 70 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 25 51 2 4 34 3 31 41 7 29 55 8 36 58 11 23 49 12 37 45 14 32 52 18 50 57 21 33 35 22 39 59 27 28 40 43 48 54 46 53 56