loading SCIP... n: 50 m: 43 packed: 10 density: 62 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 16 35 1 4 20 2 28 39 5 30 32 6 27 36 8 26 31 9 12 38 22 23 25 33 42 47 37 44 49