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