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