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