loading SCIP... n: 50 m: 94 packed: 12 density: 75 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 32 48 2 40 43 4 37 41 5 8 11 6 39 46 7 10 15 9 12 13 17 19 33 21 22 26 24 27 31 29 44 45 30 34 35