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