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