loading SCIP... n: 50 m: 87 packed: 13 density: 81 nodes: 0 solverTime: 94 buildTime: 0 solved: false 1 5 31 2 16 47 3 17 42 4 20 34 6 9 26 8 32 35 10 22 28 11 19 46 12 14 23 15 44 45 18 21 40 27 33 37 30 41 43