loading SCIP... n: 50 m: 59 packed: 12 density: 75 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 12 43 1 22 23 2 27 40 5 25 34 6 7 28 8 19 32 9 45 48 10 16 36 14 20 26 15 18 37 21 31 42 35 44 47