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