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