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