loading SCIP... n: 30 m: 33 packed: 7 density: 70 nodes: 0 solverTime: 16 buildTime: 0 solved: false 2 8 21 5 15 20 9 12 22 10 24 29 11 17 19 13 14 26 16 18 23