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