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