loading SCIP... n: 50 m: 37 packed: 10 density: 62 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 12 47 1 27 44 2 3 49 6 39 45 11 16 46 15 18 24 20 36 42 28 34 48 30 33 38 31 32 43