loading SCIP... n: 60 m: 53 packed: 12 density: 60 nodes: 0 solverTime: 32 buildTime: 0 solved: false 2 22 34 4 5 50 6 7 49 11 15 27 12 28 36 18 33 46 20 21 53 23 30 31 25 56 59 29 40 42 32 41 54 43 44 52