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