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