loading SCIP... n: 60 m: 95 packed: 15 density: 75 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 14 56 2 5 12 4 15 23 6 29 43 7 9 13 8 30 32 10 16 26 11 33 51 17 45 49 18 35 39 19 52 55 24 27 34 28 37 38 36 44 59 40 54 57