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