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