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