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