loading SCIP... n: 30 m: 24 packed: 6 density: 60 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 8 19 1 7 22 2 21 28 3 16 29 6 14 23 9 10 17