loading SCIP... n: 50 m: 38 packed: 12 density: 75 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 8 47 2 4 13 3 10 18 6 39 45 9 15 28 11 27 44 12 16 24 14 31 36 21 29 35 22 26 41 23 34 42 30 33 37