loading SCIP... n: 60 m: 177 packed: 18 density: 90 nodes: 0 solverTime: 156 buildTime: 0 solved: false 1 47 48 2 18 41 3 22 58 4 29 59 5 32 43 7 20 37 8 11 35 9 44 45 10 53 55 12 24 50 13 30 42 14 26 52 15 34 38 17 31 49 21 23 54 25 36 39 27 40 51 28 46 56