loading SCIP... n: 60 m: 113 packed: 16 density: 80 nodes: 0 solverTime: 78 buildTime: 0 solved: false 0 50 58 1 46 49 2 11 42 3 4 45 5 14 37 7 39 56 8 31 52 9 25 40 10 19 34 12 15 17 18 24 28 20 21 59 26 30 38 29 43 51 33 48 57 35 41 44