loading SCIP... n: 50 m: 138 packed: 15 density: 93 nodes: 0 solverTime: 140 buildTime: 0 solved: false 0 1 10 2 3 32 4 8 27 5 33 38 6 34 35 7 21 28 9 11 23 12 14 18 15 42 46 16 24 45 17 19 29 20 30 36 25 26 40 31 39 48 37 41 44