loading SCIP... n: 60 m: 77 packed: 15 density: 75 nodes: 0 solverTime: 47 buildTime: 0 solved: false 1 42 44 2 5 53 4 14 26 6 31 49 7 43 56 9 12 20 11 28 46 13 23 33 15 30 47 17 38 55 18 37 58 22 24 50 32 36 40 34 51 52 39 57 59