loading SCIP... n: 30 m: 71 packed: 9 density: 90 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 2 10 3 8 16 4 6 13 5 18 26 7 24 28 11 21 23 12 14 19 15 20 29 17 22 25