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