loading SCIP... n: 50 m: 46 packed: 12 density: 75 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 24 38 1 12 17 2 11 15 3 20 46 4 8 27 5 7 44 13 18 25 16 26 30 21 29 33 22 31 39 23 45 48 36 42 47