loading SCIP... n: 60 m: 54 packed: 13 density: 65 nodes: 0 solverTime: 47 buildTime: 0 solved: false 1 5 35 2 4 56 3 9 53 6 23 50 10 46 48 11 14 39 12 15 52 19 28 32 20 21 31 26 43 57 33 41 55 36 38 45 44 47 58