loading SCIP... n: 30 m: 31 packed: 7 density: 70 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 4 18 3 10 27 5 20 29 11 16 26 12 14 23 13 15 25 19 22 24