loading SCIP... n: 30 m: 23 packed: 6 density: 60 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 14 28 1 11 23 2 9 19 4 17 29 7 13 18 8 12 24