loading SCIP... n: 30 m: 52 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 7 28 1 10 24 2 26 27 3 12 15 4 21 23 5 16 29 6 11 22 9 19 20