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