loading SCIP... n: 30 m: 30 packed: 6 density: 60 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 8 28 5 13 22 10 23 26 15 16 18 19 21 27 20 24 25