loading SCIP... n: 50 m: 55 packed: 12 density: 75 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 23 42 3 25 37 5 8 18 6 11 49 7 40 43 9 22 31 13 38 41 14 33 44 15 46 48 19 34 35 24 30 47 27 36 45