loading SCIP... n: 60 m: 83 packed: 15 density: 75 nodes: 0 solverTime: 47 buildTime: 0 solved: false 4 37 56 5 36 48 6 17 24 7 45 46 9 42 49 11 33 50 12 31 47 14 18 43 15 55 57 16 30 59 19 41 58 21 39 52 23 29 35 27 32 44 40 51 54