loading SCIP... n: 30 m: 23 packed: 5 density: 50 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 1 2 6 26 27 9 25 29 10 14 22 18 20 21