loading SCIP... n: 60 m: 76 packed: 15 density: 75 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 8 52 1 46 56 2 31 50 3 16 53 4 33 45 5 12 19 6 36 47 7 30 44 9 17 48 10 13 39 14 15 32 18 34 59 25 54 58 26 29 49 40 41 43