loading SCIP... n: 60 m: 93 packed: 15 density: 75 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 4 6 2 16 56 3 37 55 5 38 59 7 12 35 8 14 36 9 23 58 11 42 52 15 33 34 19 25 54 20 30 41 22 27 31 32 40 46 44 45 47 49 50 51