loading SCIP... n: 60 m: 83 packed: 15 density: 75 nodes: 0 solverTime: 94 buildTime: 0 solved: false 0 8 42 1 56 59 2 15 23 4 5 57 7 36 43 10 13 55 14 18 26 16 17 38 19 20 24 21 44 54 22 27 33 25 39 41 28 35 51 29 31 37 30 32 46