loading SCIP... n: 30 m: 49 packed: 6 density: 60 nodes: 0 solverTime: 0 buildTime: 0 solved: false 0 13 23 3 21 29 7 8 15 9 22 24 12 18 26 16 20 25