loading SCIP... n: 60 m: 40 packed: 14 density: 70 nodes: 0 solverTime: 16 buildTime: 0 solved: false 3 23 44 4 19 24 5 31 51 6 12 45 7 43 54 8 20 28 9 38 39 10 30 46 13 16 47 14 17 37 15 53 56 25 33 50 29 41 58 34 49 57