loading SCIP... n: 60 m: 75 packed: 14 density: 70 nodes: 0 solverTime: 62 buildTime: 0 solved: false 0 45 49 1 41 56 2 19 31 3 16 51 4 27 47 5 43 55 6 36 53 7 11 14 10 40 57 12 15 30 18 33 59 20 38 48 23 25 44 26 35 46