loading SCIP... n: 30 m: 43 packed: 8 density: 80 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 9 22 1 6 8 2 21 28 3 7 14 4 23 25 5 10 17 13 27 29 19 24 26