loading SCIP... n: 60 m: 86 packed: 16 density: 80 nodes: 0 solverTime: 62 buildTime: 0 solved: false 0 2 10 1 27 42 3 6 47 4 21 35 5 29 36 9 24 46 11 15 20 12 17 18 13 22 39 16 31 32 19 25 51 26 37 45 28 48 59 30 53 54 34 38 44 49 52 57