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