loading SCIP... n: 30 m: 42 packed: 7 density: 70 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 8 16 1 12 29 3 24 25 4 5 13 6 14 26 9 17 21 10 11 19