loading SCIP... n: 60 m: 134 packed: 17 density: 85 nodes: 0 solverTime: 172 buildTime: 0 solved: false 0 48 56 1 14 58 2 23 59 4 17 20 5 21 47 6 9 57 10 13 30 11 12 19 15 41 42 16 39 43 22 24 36 26 45 51 27 37 50 28 32 54 29 49 55 33 35 44 34 46 53