loading SCIP... n: 50 m: 38 packed: 10 density: 62 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 9 19 1 23 40 4 6 45 5 11 15 16 26 38 18 41 43 20 24 33 25 32 44 29 31 34 30 36 39