loading SCIP... n: 60 m: 70 packed: 14 density: 70 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 35 57 2 39 42 4 23 26 5 52 59 6 41 54 8 24 48 13 27 40 14 22 51 16 17 38 18 33 58 21 44 53 28 29 30 31 46 47 45 50 56