loading SCIP... n: 60 m: 95 packed: 16 density: 80 nodes: 0 solverTime: 94 buildTime: 0 solved: false 0 44 47 1 14 53 2 13 20 3 7 11 4 32 35 5 24 46 6 22 39 8 17 40 10 51 52 12 37 59 15 27 49 19 23 34 26 29 31 28 43 45 30 38 56 36 42 58