loading SCIP... n: 30 m: 68 packed: 8 density: 80 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 10 24 1 11 20 2 7 9 3 6 19 4 13 21 5 14 22 12 25 26 16 18 28