loading SCIP... n: 50 m: 41 packed: 10 density: 62 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 3 43 2 4 12 5 44 46 6 27 32 7 23 35 8 9 18 10 11 41 15 30 49 22 26 47 29 37 40