loading SCIP... n: 30 m: 29 packed: 7 density: 70 nodes: 0 solverTime: 0 buildTime: 0 solved: false 0 3 8 1 16 28 6 17 22 9 21 24 10 18 20 11 25 26 13 19 23