loading SCIP... n: 60 m: 34 packed: 12 density: 60 nodes: 0 solverTime: 15 buildTime: 0 solved: false 1 34 58 4 20 51 5 14 33 6 11 15 7 30 32 8 42 45 17 18 50 19 37 57 21 38 49 23 28 46 24 52 56 29 40 41