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