loading SCIP... n: 30 m: 14 packed: 5 density: 50 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 12 13 1 5 24 6 19 20 15 16 21 22 23 27