loading SCIP... n: 50 m: 65 packed: 12 density: 75 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 22 31 1 27 29 2 8 47 4 14 18 5 9 43 6 19 36 7 15 37 11 24 25 12 21 23 20 28 44 26 30 33 39 40 45