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