loading SCIP... n: 30 m: 247 packed: 9 density: 90 nodes: 0 solverTime: 125 buildTime: 0 solved: false 0 18 23 1 19 22 2 12 26 3 6 28 4 7 8 5 16 25 9 11 27 10 13 29 15 21 24