loading SCIP... n: 60 m: 22 packed: 8 density: 40 nodes: 0 solverTime: 15 buildTime: 0 solved: false 3 13 49 6 30 46 7 29 50 11 19 43 14 16 18 21 23 26 24 25 40 45 47 56