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