loading SCIP... n: 30 m: 29 packed: 6 density: 60 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 5 25 1 18 22 3 4 23 7 9 27 13 17 24 15 19 21